Static Analysis (Q5466577)
From MaRDI portal
!
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 2198367
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Static Analysis |
scientific article; zbMATH DE number 2198367 |
Statements
Static Analysis (English)
0 references
24 August 2005
0 references
Abstract Interpretation
0 references
Completeness
0 references
Domain Refinement
0 references
Symbolic Trajectory Evaluation
0 references
Verification
0 references
Model-checking
0 references
Data Flow Analysis
0 references
0.89411515
0 references
0.89228874
0 references
0.8794689
0 references
0.87573165
0 references
0.8656017
0 references
0 references
