Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag (Q3011898)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag |
scientific article |
Statements
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag (English)
0 references
29 June 2011
0 references
symmetric nets with bags
0 references
model checking
0 references
symmetries-based techniques
0 references
hierarchical set decision diagrams
0 references
