Unfolding-based Partial Order Reduction (Q5357723)
From MaRDI portal
scientific article; zbMATH DE number 6774230
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unfolding-based Partial Order Reduction |
scientific article; zbMATH DE number 6774230 |
Statements
12 September 2017
0 references
partial order reduction
0 references
unfoldings
0 references
concurrency
0 references
model checking
0 references
Unfolding-based Partial Order Reduction (English)
0 references
