Formal Verification of an Incremental Garbage Collector.

Solange Coupet-Grimal Catherine Nouvet

Published in: J. Log. Comput. (2003)

Keyphrases

formal verification
model checking
bounded model checking
model checker
automated verification
incremental learning
program slicing
incremental clustering
symbolic model checking
incremental version
data driven
temporal logic
garbage collection