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

Journal Article
Author(s):Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, and Alexander Weigl
Journal:Formal Aspects Comput.
Number:3
Volume:35
Year:2023
Pages:18:1–18:26
URL:https://doi.org/10.1145/3594729
DOI:10.1145/3594729

BibTeX

@article{BoerGouwEtAl23,
  author       = {Martin de Boer and Stijn de Gouw and Jonas Klamroth and
                  Christian Jung and Mattias Ulbrich and Alexander Weigl},
  title        = {Formal Specification and Verification of JDK's Identity Hash
                  Map Implementation},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {3},
  pages        = {18:1--18:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594729},
  doi          = {10.1145/3594729}
}