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
Jahr 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, Berlin
Seiten 247-277
Serie Lecture Notes in Computer Science ; 5751
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page