On the purpose of Event-B proof obligations.

Stefan Hallerstede

Published in: Formal Aspects Comput. (2011)

Keyphrases

event detection
data sets
event recognition
news articles
agent architecture
complex events
real world
data mining
website
database systems
cooperative
evolutionary algorithm
theorem proving
event driven