KIT | KIT-Bibliothek | Impressum | Datenschutz

Abstract Interpretation of Symbolic Execution with Explicit State Updates

Bubel, R.; Hähnle, R.; Weiß, B.


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2009
Sprache Englisch
Identifikator ISBN: 978-3-642-04167-9
KITopen-ID: 1000028138
Erschienen in Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Ed.: F. S. de Boer
Verlag Springer-Verlag
Seiten 247-277
Serie Lecture Notes in Computer Science ; 5751
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page