Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable (Q5357695)
From MaRDI portal
scientific article; zbMATH DE number 6774203
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable |
scientific article; zbMATH DE number 6774203 |
Statements
12 September 2017
0 references
verification
0 references
parametrized systems
0 references
shared memory
0 references
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable (English)
0 references
