Gå direkte til innholdet
Verification, Model Checking, and Abstract Interpretation
Spar

Verification, Model Checking, and Abstract Interpretation

The papers cover a wide range of 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.
Undertittel
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Opplag
2014 ed.
ISBN
9783642540127
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
22.1.2014
Antall sider
493