A View from the Engine Room: Computational Support for Symbolic Model Checking (Q3512438)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A View from the Engine Room: Computational Support for Symbolic Model Checking |
scientific article |
Statements
A View from the Engine Room: Computational Support for Symbolic Model Checking (English)
0 references
15 July 2008
0 references
capabilities of SAT solvers and BDD packages
0 references
satisfiability
0 references
binary decision diagrams
0 references
future perspectives of model checking
0 references
