Model Checking Via ΓCFA (Q5452596)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5259425
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7762488126754761
0 references
0.7701942324638367
0 references
0.7613357305526733
0 references
0.7419822812080383
0 references
0.7419218420982361
0 references
