Abstract Interpretation of CTL Properties.

Caterina Urban Samuel Ueltschi Peter Müller

Published in: SAS (2018)

Keyphrases

abstract interpretation
model checking
temporal properties
termination analysis
static analysis
temporal logic
databases
data model
formal specification