A Practical Approach for Closed Systems Formal Verification Using Event-B.

Brett Bicknell Jose Reis Michael J. Butler John Colley Colin F. Snook

Published in: SEFM (2012)

Keyphrases

formal verification
automated verification
model checking
management system
neural network
expert systems
distributed systems
retrieval systems
dynamic programming
intelligent systems
knowledge based systems
learning systems
symbolic model checking