A Lazy Unbounded Model Checker for Event-B.

Paulo J. Matos Bernd Fischer João P. Marques Silva

Published in: ICFEM (2009)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
symbolic model checking
formal specification
test suite
set theory
specification language
ai planning
artificial intelligence
mathematical morphology
reinforcement learning
domain specific
data mining