|
gptkbp:instanceOf
|
Program analysis technique
|
|
gptkbp:appliesTo
|
gptkb:Static_program_analysis
|
|
gptkbp:category
|
gptkb:Static_program_analysis
Formal methods
|
|
gptkbp:developedBy
|
gptkb:Patrick_Cousot
gptkb:Radhia_Cousot
|
|
gptkbp:field
|
Computer science
|
|
gptkbp:hasApplication
|
Software verification
Security analysis
Compiler optimization
Runtime error detection
|
|
gptkbp:hasConcept
|
Precision
Abstract domain
Fixpoint computation
Narrowing
Soundness
Widening
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Abstract interpretation
|
|
gptkbp:introducedIn
|
1977
|
|
gptkbp:notableConference
|
gptkb:International_Conference_on_Computer_Aided_Verification_(CAV)
gptkb:Static_Analysis_Symposium_(SAS)
|
|
gptkbp:notablePublication
|
gptkb:Abstract_Interpretation:_A_Unified_Lattice_Model_for_Static_Analysis_of_Programs_by_Construction_or_Approximation_of_Fixpoints
|
|
gptkbp:notableTool
|
gptkb:Frama-C
gptkb:Infer_static_analyzer
gptkb:Astrée_analyzer
|
|
gptkbp:purpose
|
Approximate program semantics
|
|
gptkbp:relatedTo
|
Model checking
Formal methods
Static analysis
Data flow analysis
|
|
gptkbp:usedFor
|
Detecting program properties
Finding software bugs
Proving program correctness
|
|
gptkbp:bfsParent
|
gptkb:Lattice_Theory
|
|
gptkbp:bfsLayer
|
7
|