|
Showing 1 - 2 of
2 matches in All Departments
|
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Paperback, 1st ed. 2018)
Ruzica Piskac, Philipp Rummer
|
R1,579
Discovery Miles 15 790
|
Ships in 10 - 15 working days
|
This volume constitutes the thoroughly refereed post-conference
proceedings of the 10th International Conference on Verified
Software: Theories, Tools, and Experiments, VSTTE 2018, held in
Oxford, UK, in July 2018. The 19 full papers presented were
carefully revised and selected from 24 submissions. The papers
describe large-scale 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 - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Paperback, 1st ed. 2019)
Constantin Enea, Ruzica Piskac
|
R1,659
Discovery Miles 16 590
|
Ships in 10 - 15 working days
|
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.
|
|