Verifying a realistic mutable hash table. Case study (short paper)

DOI10.1007/978-3-031-63498-7_18MaRDI QIDQ7034859zbMATH OpenFDO

Authors Samuel Chassot, Viktor Kuncak

Publication date 31 January 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-63498-7_18

zbMATH Keywords

formal verificationhash tablelongmapscala

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Abstract data types and the development of data structures
• Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings
• Contract-based resource verification for higher-order functions with memoization
• Formal specification and verification of JDK's identity hash map implementation
• Formula normalizations in verification
• Isabelle/HOL. A proof assistant for higher-order logic
• Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings. Pa

This page was built for publication: Verifying a realistic mutable hash table. Case study (short paper)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034859)