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

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationIntegrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
EditorsMaurice H. ter Beek, Rosemary Monahan
Place of PublicationCham
PublisherSpringer
Pages45-62
Number of pages18
Volume13274
ISBN (Electronic)978-3-031-07727-2
ISBN (Print)978-3-031-07726-5
DOIs
Publication statusPublished - 1 Jun 2022
Event17th International Conference on integrated Formal Methods - Lugano, Switzerland
Duration: 7 Jun 202210 Jun 2022
https://ifm22.si.usi.ch/

Publication series

SeriesLecture Notes in Computer Science

Conference

Conference17th International Conference on integrated Formal Methods
Abbreviated titleiFM 2022
Country/TerritorySwitzerland
CityLugano
Period7/06/2210/06/22
Internet address

Cite this