Computer Science Department
School of Computer Science, Carnegie Mellon University


Symblic Model Checking with BBDs

Armin Biere, Alessandro Cimatti*, Edmund Clarke, Yunshan Zhu

January 1999

Keywords: Out-of-order execution, automatic verification, temporal logic, symbolic model checking, boolean satisfiability

19 pages

*Instituto per la Ricerca Scientificae Tecnologic (IRST),

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by