Vacuum Cleaning CTL Formulae.

Mitra Purandare Fabio Somenzi

Published in: CAV (2002)

Keyphrases

model checking
temporal logic
computation tree logic
temporal properties
ultra high
linear temporal logic
bounded model checking
minimal change
data cleaning
data extraction
epistemic logic
alternating time temporal logic
transition systems
data mining
modal logic
first order logic
social networks