Partial order reduction (Q7140378)
Jump to navigation
Jump to search
technique for reducing the size of the state-space to be searched by a model checking algorithm
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial order reduction |
technique for reducing the size of the state-space to be searched by a model checking algorithm |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(2 entries)
- enwiki Partial order reduction
- frwiki Réduction par ordre partiel