Building efficient model checkers using hierarchical set decision diagrams and automatic saturation (Q3647367)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Building efficient model checkers using hierarchical set decision diagrams and automatic saturation |
scientific article; zbMATH DE number 5640653
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Building efficient model checkers using hierarchical set decision diagrams and automatic saturation |
scientific article; zbMATH DE number 5640653 |
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
0.929803729057312
0 references
0.8645293116569519
0 references
0.8509300351142883
0 references
0.814202070236206
0 references
0.757492184638977
0 references
