Spara
Verification, Model Checking, and Abstract Interpretation
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.
- Undertitel
- 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
- Redaktör
- Cezara Dragoi, Michael Emmi, Jingbo Wang
- ISBN
- 9783031249495
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2023-01-17
- Sidor
- 389
