Static Analysis (Q5466577)
From MaRDI portal
scientific article; zbMATH DE number 2198367
Language | Label | Description | Also known as |
---|---|---|---|
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