Formal Specification and Verification of JDK’s Identity Hash Map Implementation

Boer, Martin de ; Gouw, Stijn de; Klamroth, Jonas; Jung, Christian ¹; Ulbrich, Mattias

¹
¹ Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Postprint

DOI: 10.5445/IR/1000148092

Veröffentlicht am 02.06.2023

Originalveröffentlichung
DOI: 10.1007/978-3-031-07727-2_4

Scopus
Zitationen: 5

Dimensions
Zitationen: 9

Seitenaufrufe: 79
seit 29.06.2022

Downloads: 31
seit 07.09.2023

Zugehörige Institution(en) am KIT	Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2022
Sprache	Englisch
Identifikator	ISBN: 978-3-031-07727-2 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000148092
Erschienen in	Integrated Formal Methods – 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings. Ed.: M. ter Beek
Veranstaltung	17th International Conference on Integrated Formal Methods (IFM 2022), Lugano, Schweiz, 07.06.2022 – 10.06.2022
Verlag	Springer International Publishing
Seiten	45–62
Serie	Lecture Notes in Computer Science (LNCS) ; 13274
Vorab online veröffentlicht am	01.06.2022
Nachgewiesen in	Dimensions Scopus