KIT | KIT-Bibliothek | Impressum | Datenschutz

Integration of Bounded Model Checking and Deductive Verification

Beckert, B. ORCID iD icon 1; Bormer, T. 1; Merz, F. 1; Sinz, C. 1
1 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-642-31762-0_7
Scopus
Zitationen: 2
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2012
Sprache Englisch
Identifikator ISBN: 978-3-642-31761-3
ISSN: 0302-9743
KITopen-ID: 1000032945
HGF-Programm 46.12.03 (POF II, 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-Verlag
Seiten 86-104
Serie Lecture Notes in Computer Science ; 7421
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page