Testing for race conditions in distributed systems via SMT solving (Q6487263)
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: Testing for race conditions in distributed systems via SMT solving |
scientific article; zbMATH DE number 7614704
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Testing for race conditions in distributed systems via SMT solving |
scientific article; zbMATH DE number 7614704 |
Statements
Testing for Race Conditions in Distributed Systems via SMT Solving (English)
0 references
9 November 2022
0 references
0.6868669986724854
0 references
0.6754335165023804
0 references
0.673907458782196
0 references
