Parameterized model checking on the TSO weak memory model (Q2208293)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7268904
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Parameterized model checking on the TSO weak memory model |
scientific article; zbMATH DE number 7268904 |
Statements
Parameterized model checking on the TSO weak memory model (English)
0 references
2 November 2020
0 references
parameterized model checking
0 references
MCMT
0 references
SMT
0 references
weak memory
0 references
partial order reduction
0 references
0 references
0 references
0.9187904596328736
0 references
0.7887414693832397
0 references
0.7820520997047424
0 references
0.7728255987167358
0 references
0.7716689705848694
0 references
