KIT | KIT-Bibliothek | Impressum | Datenschutz
Suche im KITopen-Katalog

Repository KITopen

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY

Bordis, Tabea 1,2; Cleophas, Loek; Kittelmann, Alexander 1,2; Runge, Tobias 1,2; Schaefer, Ina 1,2; Watson, Bruce W.
1 Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Postprint §
DOI: 10.5445/IR/1000152656/post
Originalveröffentlichung
DOI: 10.1007/978-3-031-08166-8_5
Scopus
Zitationen: 1
Dimensions
Zitationen: 2
BibTeX (UTF-8) BibTeX (ASCII) EndNote/Refer (.enw) RIS CSL-JSON ISI
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Buchaufsatz
Publikationsjahr 2022
Sprache Englisch
Identifikator ISBN: 978-3-031-08166-8
ISSN: 0302-9743
KITopen-ID: 1000152656
HGF-Programm 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems
Erschienen in The Logic of Software. A Tasting Menu of Formal Methods – Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ed.: W. Ahrendt
Verlag Springer International Publishing
Seiten 80–104
Serie Lecture Notes in Computer Science ; 13360
Vorab online veröffentlicht am 04.07.2022
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page