Quasi-optimal partial order reduction (Q2050101)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quasi-optimal partial order reduction |
scientific article; zbMATH DE number 7388003
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Quasi-optimal partial order reduction |
scientific article; zbMATH DE number 7388003 |
Statements
Quasi-optimal partial order reduction (English)
0 references
30 August 2021
0 references
program analysis
0 references
dynamic analysis
0 references
partial-order reduction
0 references
non-interleaving semantics
0 references
0 references
0.9968883395195008
0 references
0.8709136247634888
0 references
0.8594687581062317
0 references
0.8582611083984375
0 references
0.815208375453949
0 references
