Equivalence Checking Using Abstract BDDs. - Somesh Jha; Yuan Lu 004; Marius Minea; Edmund M. Clarke (ICCD, 1997)

Abstract BDDs: A Technique for Using Abstraction in Model Checking. - Edmund M. Clarke; Somesh Jha; Yuan Lu 004; Dong Wang (CHARME, 1999)

Counterexample-Guided Abstraction Refinement. - Edmund M. Clarke; Orna Grumberg; Somesh Jha; Yuan Lu 004; Helmut Veith (CAV, 2000)

Analysis of composition complexity and how to obtain smaller canonical graphs. - Jawahar Jain; K. Mohanram; Dinos Moundanos; Ingo Wegener; Yuan Lu 004 (DAC, 2000)

Efficient variable ordering using aBDD based sampling. - Yuan Lu 004; Jawahar Jain; Edmund M. Clarke; Masahiro Fujita (DAC, 2000)

Executable Protocol Specification in ESL. - Edmund M. Clarke; Steven M. German; Yuan Lu 004; Helmut Veith; Dong Wang (FMCAD, 2000)

Progress on the State Explosion Problem in Model Checking. - Edmund M. Clarke; Orna Grumberg; Somesh Jha; Yuan Lu 004; Helmut Veith (Informatics, 2001)

Tree-Like Counterexamples in Model Checking. - Edmund M. Clarke; Somesh Jha; Yuan Lu 004; Helmut Veith (LICS, 2002)

Counterexample-guided abstraction refinement for symbolic model checking. - Edmund M. Clarke; Orna Grumberg; Somesh Jha; Yuan Lu 004; Helmut Veith (J. ACM, 2003)