A decision diagram operation for reachability (Q6132656)
From MaRDI portal
scientific article; zbMATH DE number 7728860
Language | Label | Description | Also known as |
---|---|---|---|
English | A decision diagram operation for reachability |
scientific article; zbMATH DE number 7728860 |
Statements
A decision diagram operation for reachability (English)
0 references
17 August 2023
0 references
model checking
0 references
reachability
0 references
saturation
0 references
decision diagrams
0 references
BDDs
0 references
MDDs
0 references
0 references