Home

E.__Clarke


Another look at LTL model checking

Counterexample-guided abstraction re nement

Hybrid decision diagrams overcoming the limitations of MTBDDs and BMDs

Verification tools for finite-state concurrent systems