|
Showing 1 - 5 of
5 matches in All Departments
The open access proceedings set LNCS 13964, 13965, 13966
constitutes the refereed proceedings of the 35th International
Conference on Computer Aided Verification, CAV 2023, which was held
in Paris, France, in July 2023. The 67 full papers presented in
these proceedings were carefully reviewed and selected from 261
submissions. The have been organized in topical sections as
follows: Part I: Automata and logic; concurrency; cyber-physical
and hybrid systems; synthesis; Part II: Decision procedures; model
checking; neural networks and machine learning; Part II:
Probabilistic systems; security and quantum systems; software
verification.
The open access proceedings set LNCS 13964, 13965, 13966
constitutes the refereed proceedings of the 35th International
Conference on Computer Aided Verification, CAV 2023, which was held
in Paris, France, in July 2023. The 67 full papers presented in
these proceedings were carefully reviewed and selected from 261
submissions. The have been organized in topical sections as
follows: Part I: Automata and logic; concurrency; cyber-physical
and hybrid systems; synthesis; Part II: Decision procedures; model
checking; neural networks and machine learning; Part II:
Probabilistic systems; security and quantum systems; software
verification.
The open access proceedings set LNCS 13964, 13965, 13966
constitutes the refereed proceedings of the 35th International
Conference on Computer Aided Verification, CAV 2023, which was held
in Paris, France, in July 2023. The 67 full papers presented in
these proceedings were carefully reviewed and selected from 261
submissions. The have been organized in topical sections as
follows: Part I: Automata and logic; concurrency; cyber-physical
and hybrid systems; synthesis; Part II: Decision procedures; model
checking; neural networks and machine learning; Part II:
Probabilistic systems; security and quantum systems; software
verification.
|
Verified Software. Theories, Tools and Experiments. - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Paperback, 1st ed. 2023)
Akash Lal, Stefano Tonetta
|
R1,519
Discovery Miles 15 190
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 14th
International Conference on Verified Software. Theories, Tools and
Experiments, VSTTE 2022 held in Trento, Italy, during October
17-18, 2022.The 9 papers presented in this volume were carefully
reviewed and selected from 20 submissions. The papers describe
software verification efforts that involve collaboration, theory
unification, tool integration, and formalized domain knowledge as
well as novel experiments and case studies evaluating verification
techniques and technologies.
|
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Paperback, 2015 ed.)
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
|
R3,012
Discovery Miles 30 120
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 16th
International Conference on Verification, Model Checking, and
Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in
January 2015. The 24 revised full papers presented were carefully
reviewed and selected from 53 submissions. The papers cover a wide
range of topics including program verification, model checking,
abstract interpretation, abstract domains, program synthesis,
static analysis, deductive methods, program certification, error
diagnosis, program transformation, and hybrid and cyberphysical
systems.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Merry Christmas
Mariah Carey, Walter Afanasieff, …
CD
R122
R112
Discovery Miles 1 120
Tenet
John David Washington, Robert Pattinson
Blu-ray disc
(1)
R54
Discovery Miles 540
Gloria
Sam Smith
CD
R407
Discovery Miles 4 070
|