Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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

Reviewed Paper In Proceedings
Author(s):Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, and Alexander Weigl
In:17th International Conference on integrated Formal Methods (iFM 2022)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:13274
Year:2022
Pages:45-62
Preprint/PDF:identity_hash_map_ifm2022.pdf
DOI:10.1007/978-3-031-07727-2_4
Links:The final publication is available at Springer.

Note

This paper received the best paper award at iFM 2022.

BibTeX

@inproceedings{BoerGouwKlamroth2022_1000148092,
    author       = {Martin {de Boer} and
                    Stijn {de Gouw} and
                    Jonas Klamroth and
                    Christian Jung and
                    Mattias Ulbrich and
                    Alexander Weigl},
    year         = {2022},
    title        = {Formal Specification and Verification of {JDK}’s Identity Hash Map Implementation},
    editor       = {{Maurice H.} {ter Beek} and
                    Rosemary Monahan},
    pages        = {45--62},
    eventtitle   = {17th International Conference on integrated Formal Methods},
    eventtitleaddon = {iFM 2022},
    eventdate    = {2022-06-07/2022-06-10},
    venue        = {Lugano, Switzerland},
    booktitle    = {17th International Conference on integrated Formal Methods ({iFM} 2022)},
    doi          = {10.1007/978-3-031-07727-2_4},
    publisher    = {Springer},
    isbn         = {978-3-031-07727-2},
    series       = {Lecture Notes in Computer Science},
    month        = jun,
    volume       = {13274}
}