From Z to B and then Event-B: Assigning Proofs to Meaningful Programs.

Jean-Raymond Abrial

Published in: IFM (2013)

Keyphrases

computer programs
event recognition
automatic programming
theorem proving
news articles
theorem prover
event detection
condition action rules
neural network
higher level
search engine
artificial intelligence
machine learning
expert systems
temporal patterns
e learning
fixpoint
event driven
formal proofs