Verification of LTL on B Event Systems.

Julien Groslambert

Published in: B (2007)

Keyphrases

model checking
formal methods
temporal logic
artificial intelligence
computer vision
computer systems
knowledge based systems
building blocks
databases
neural network
machine learning
website
complex systems
retrieval systems
formal verification
automated verification