Managing LTL properties in Event-B refinement.

Steve A. Schneider Helen Treharne Heike Wehrheim David M. Williams

Published in: CoRR (2014)

Keyphrases

model checking
temporal logic
desirable properties
bounded model checking
database
databases
data mining
multimedia
bayesian networks
event detection
structural properties