Towards a notion of coverage for incomplete program-correctness proofs
Beckert, B.
1; Herda, M. 1; Kobischke, S. 1; Ulbrich, M.
1
1 Karlsruher Institut für Technologie (KIT)
1; Herda, M. 1; Kobischke, S. 1; Ulbrich, M.
11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-03420-7 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000088373 |
| Erschienen in | 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018; Limassol; Cyprus; 5 November 2018 through 9 November 2018. Ed.: T. Margaria |
| Verlag | Springer |
| Seiten | 53-63 |
| Serie | Lecture notes in computer science ; 11245 |
| Projektinformation | SPP 1496 (DFG, DFG KOORD, BE 2334/6-3) KASTEL_SVI (BMBF, 16KIS0521) |
| Nachgewiesen in | Dimensions Scopus |