Formal methods
Tools and
software packages
- CUDD
(BDD package) at University of Colorado - Boulder
- VIS
(Symbolic Model Checker) at University of Colorado - Boulder
- Chaff
(Propositional
SAT solver) at Princeton University
- Omega
Library (Presburger Formulas Solver) at University of Maryland
Scientific
literature
search
|
|