Expand, enlarge and check: new algorithms for the coverability problem of WSTS (Q2581762)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Expand, enlarge and check: new algorithms for the coverability problem of WSTS |
scientific article |
Statements
Expand, enlarge and check: new algorithms for the coverability problem of WSTS (English)
0 references
10 January 2006
0 references
Well-structured transition systems
0 references
Verification
0 references
Coverability problem
0 references
Parameterized systems
0 references
Petri nets
0 references
Lossy channel systems
0 references