Theta: A framework for abstraction refinement-based model checking.

Tams Tth, kos Hajdu, Andrs Vrs, Zoltn Micskei, Istvn Majzik

Browse the full FMCAD paper archive.