Automated Verification of Practical Garbage Collectors

DOI10.2168/LMCS-6(3:6)2010zbMath1214.68214OpenAlexW2950302512MaRDI QIDQ2786120

Erez Petrank, C. Hawblitzel

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-6(3:6)2010

zbMATH Keywords

verificationgarbage collection

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Verifying Visibility-Based Weak Consistency ⋮ Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms

Uses Software

• z3
• Boogie

This page was built for publication: Automated Verification of Practical Garbage Collectors