Automated verification of practical garbage collectors

DOI10.1145/1480881.1480935zbMath1315.68096arXiv1004.3808OpenAlexW2137484994MaRDI QIDQ5261539

C. Hawblitzel, Erez Petrank

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1004.3808

zbMATH Keywords

verificationgarbage collection

Mathematics Subject Classification ID

Related Items (6)

Practical Tactics for Separation Logic ⋮ Verifying a concurrent garbage collector using a rely-guarantee methodology ⋮ Reasoning about memory layouts ⋮ A verified generational garbage collector for CakeML ⋮ A verified generational garbage collector for CakeML ⋮ Verifying a concurrent garbage collector with a rely-guarantee methodology

Uses Software

• z3
• Boogie

This page was built for publication: Automated verification of practical garbage collectors