Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.
Damien MasséPublished in: SAS (2002)
Keyphrases
- temporal properties
- abstract interpretation
- model checking
- dynamic analysis
- active rules
- termination analysis
- static analysis
- formal specification
- active databases
- formal methods
- possibility theory
- formal semantics
- logic programming
- reverse engineering
- integrity constraints
- deductive databases
- multi agent systems
- distributed databases
- source code
- open source
- object oriented