The Use of Rippling to Automate Event-B Invariant Preservation Proofs.

Yuhui Lin Alan Bundy Gudmund Grov

Published in: NASA Formal Methods (2012)

Keyphrases

event detection
logic programs
news articles
event recognition
decision procedures
theorem prover
event driven
neural network
d objects
theorem proving
news stories
affine transformation
formal proof
video event
soccer video
data sets
social media
object recognition
multimedia
databases