Formal specification and verification of JDK's identity hash map implementation
From MaRDI portal
Publication:2165501
DOI10.1007/978-3-031-07727-2_4zbMath1502.68054MaRDI QIDQ2165501
Stijn De Gouw, Martin J. M. de Boer, Alexander Weigl, Mattias Ulbrich, Jonas Klamroth, Christian Jung
Publication date: 19 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-07727-2_4
deductive program verification; cooperative verification; Java modeling language; real-world case study; verified data structure; verified hash map
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
Related Items
Uses Software