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.
No comments:
Post a Comment