|
Showing 1 - 4 of
4 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.
|
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Paperback, 1st ed. 2019)
Constantin Enea, Ruzica Piskac
|
R1,597
Discovery Miles 15 970
|
Out of stock
|
This book constitutes the refereed proceedings of the 20th
International Conference on Verification, Model Checking, and
Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in
January 2019.The 27 full papers presented together with the
abstracts of 3 invited keynote talks were carefully reviewed and
selected from 62 submissions. VMCAI provides topics including:
program verification, model checking, abstract interpretation,
program synthesis, static analysis, type systems, deductive
methods, program certification, decision procedures, theorem
proving, program certification, debugging techniques, program
transformation, optimization, and hybrid and cyber-physical
systems.
|
|