Formal Specification and Verification of JDK’s Identity Hash Map Implementation
De Boer, Martin; De Gouw, Stijn; Klamroth, Jonas 1; Jung, Christian 2; Ulbrich, Mattias
3; Weigl, Alexander
4
1 FZI Forschungszentrum Informatik (FZI)
2 Karlsruher Institut für Technologie (KIT)
3 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
4 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
3; Weigl, Alexander
41 FZI Forschungszentrum Informatik (FZI)
2 Karlsruher Institut für Technologie (KIT)
3 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
4 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 30.09.2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 0934-5043, 1433-299X KITopen-ID: 1000164076 |
| Erschienen in | Formal Aspects of Computing |
| Verlag | Springer |
| Band | 35 |
| Heft | 3 |
| Seiten | 1–26 |
| Vorab online veröffentlicht am | 13.09.2023 |
| Nachgewiesen in | Scopus Dimensions Web of Science |