Spara
Verification, Model Checking, and Abstract Interpretation
VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
- Undertitel
- 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
- Redaktör
- Ahmed Bouajjani, David Monniaux
- Upplaga
- 1st ed. 2017
- ISBN
- 9783319522333
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2017-01-12
- Sidor
- 560
