KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards a notion of coverage for incomplete program-correctness proofs

Beckert, B. ORCID iD icon 1; Herda, M. 1; Kobischke, S. 1; Ulbrich, M. ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-030-03421-4_4
Scopus
Zitationen: 2
Dimensions
Zitationen: 2
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page