Managing LTL Properties in Event-B Refinement.

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

Published in: IFM (2014)

Keyphrases

structural properties
linear temporal logic
real time
social networks
model checking
event detection
news articles
temporal logic
data mining
case study
image sequences
desirable properties