A Generic Approach to the Static Analysis of Concurrent Programs with Procedures (Q5696926)
From MaRDI portal
scientific article; zbMATH DE number 2216296
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Generic Approach to the Static Analysis of Concurrent Programs with Procedures |
scientific article; zbMATH DE number 2216296 |
Statements
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures (English)
0 references
19 October 2005
0 references
concurrent programs with procedures
0 references
pushdown systems
0 references
Kleene algebras
0 references
abstraction
0 references
static analysis
0 references
verification
0 references
