Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.

Caterina Urban Antoine Miné

Published in: VMCAI (2015)

Keyphrases

temporal properties
abstract interpretation
model checking
termination analysis
formal specification
static analysis
possibility theory
active rules
case study
dynamic analysis
artificial intelligence
data analysis
query language
business process
first order logic
active databases