Proof Assisted Symbolic Model Checking for B and Event-B.

Sebastian Krings Michael Leuschel

Published in: ABZ (2016)

Keyphrases

symbolic model checking
model checking
formal verification
partial observability
binary decision diagrams
conformant planning
symbolic representation
model checker
temporal logic
data mining
formal specification
machine learning
web services
multi agent
planning domains