Automated verification of practical garbage collectors.

Chris Hawblitzel Erez Petrank

Published in: POPL (2009)

Keyphrases

automated verification
model checking
automated reasoning
real world
formal verification
practical problems
database
knowledge base
data structure