KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/978-3-642-31762-0_7

Integration of Bounded Model Checking and Deductive Verification

Beckert, B.; Bormer, T.; Merz, F.; Sinz, C.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2012
Sprache Englisch
Identifikator ISBN: 978-3-642-31761-3
ISSN: 0302-9743
KITopen ID: 1000032945
HGF-Programm 46.12.03; LK 01
Erschienen in Formal Verification of Object-Oriented Software : international conference; revised selected papers, FoVeOOS 2011, Turin, Italy, October 5 - 7, 2011. Ed.: B. Beckert
Verlag Springer, Berlin
Seiten 86-104
Serie Lecture Notes in Computer Science ; 7421
Projektinformation KASTEL I (BMBF, 01BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page