Formal Specification and Verification of JDK’s Identity Hash Map Implementation (Long Version)

Technical Report

Author(s):Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, and Alexander Weigl
Institution:Karlsruhe Institute of Technology (KIT)
Number:1000145727
Year:2022
DOI:10.5445/IR/1000145727

BibTeX

@techreport{BoerGouwKlamroth2022_1000145727,
    author       = {Martin {de Boer} and
                    Stijn {de Gouw} and
                    Jonas Klamroth and
                    Christian Jung and
                    Mattias Ulbrich and
                    Alexander Weigl},
    year         = {2022},
    month        = may,
    title        = {Formal Specification and Verification of JDK’s
                    Identity Hash Map Implementation (Long Version)},
    doi          = {10.5445/IR/1000145727},
    number       = {1000145727},
    pagetotal    = {20},
    language     = {english},
    institution  = {Karlsruhe Institute of Technology (KIT)}
}