Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation (Q3647367)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation |
scientific article |
Statements
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation (English)
0 references
30 November 2009
0 references
hierarchical decision diagrams
0 references
model checking
0 references
saturation
0 references
