Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

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

Zeitschriftenartikel
Autor(en):Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich und Alexander Weigl
Zeitschrift:Formal Aspects Comput.
Nummer:3
Band:35
Jahr:2023
Seiten: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}
}