KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/978-3-319-06200-6_13

JKelloy: A Proof Assistant for Relational Specifications of Java Programs

El Ghazi, A. A.; Ulbrich, M.; Gladisch, C.; Tyszberowicz, S.; Taghdiri, M.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-3-319-06199-3
ISSN: 0302-9743
KITopen ID: 1000045878
HGF-Programm 46.12.03; LK 01
Erschienen in NASA Formal Methods - 6th International Symposium (NFM'14), Houston, Texas/USA, April 29 - May 1, 2014. Ed.: J. M. Badger
Verlag Springer, New York (NY)
Seiten 173-187
Serie Lecture Notes in Computer Science ; 8430
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page