This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
| ISBN: | 9783031249495 |
| Publication date: | 17th January 2023 |
| Author: | Cezara Dragoi |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 389 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software testing and verification |
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Verification, Model Checking, and Abstract Interpretation features in the following genres: Software testing and verification
Paperback. £58.49, down from the £64.99 cover price. Not Available.
Verification, Model Checking, and Abstract Interpretation was written by Cezara Dragoi and published by Springer International Publishing AG
Verification, Model Checking, and Abstract Interpretation has 389 pages
Yes it is part of Lecture Notes in Computer Science series
£58.49, reduced from £64.99. Not Available.