Relational Thread-Modular Static Value Analysis by Abstract Interpretation (Q2938060)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational Thread-Modular Static Value Analysis by Abstract Interpretation |
scientific article |
Statements
Relational Thread-Modular Static Value Analysis by Abstract Interpretation (English)
0 references
13 January 2015
0 references
static analysis
0 references
abstract interpretation
0 references
verification
0 references
safety
0 references
concurrency
0 references
embedded programs
0 references
rely-guarantee methods
0 references
