Automated Verification of Practical Garbage Collectors

Chris Hawblitzel Erez Petrank

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
real world
data mining
multiscale
computer vision
image sequences