Model Checking Via ΓCFA (Q5452596)
From MaRDI portal
scientific article; zbMATH DE number 5259425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model Checking Via ΓCFA |
scientific article; zbMATH DE number 5259425 |
Statements
Model Checking Via ΓCFA (English)
0 references
4 April 2008
0 references
Abstract interpretation
0 references
static analysis
0 references
abstract counting
0 references
abstract garbage collection
0 references
\(\Gamma \)CFA
0 references
higher-order languages
0 references
