Integration of Bounded Model Checking and Deductive Verification
Beckert, B.
1; Bormer, T. 1; Merz, F. 1; Sinz, C. 1
1 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)
1; Bormer, T. 1; Merz, F. 1; Sinz, C. 11 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)
| 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 | Scopus Dimensions |