Verification of safety properties for concurrent assembly code (Q5178035)
From MaRDI portal
scientific article; zbMATH DE number 6413046
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of safety properties for concurrent assembly code |
scientific article; zbMATH DE number 6413046 |
Statements
Verification of safety properties for concurrent assembly code (English)
0 references
9 March 2015
0 references
assembly
0 references
concurrency
0 references
local guarantee
0 references
