CMU-CS-99-101
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-99-101

Symblic Model Checking with BBDs

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

January 1999

CMU-CS-99-101.ps
CMU-CS-99-101.pdf


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


19 pages

*Instituto per la Ricerca Scientificae Tecnologic (IRST), cimatti@irst.itc.it


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

This page maintained by reports@cs.cmu.edu