Optimising the ProB model checker for B using partial order reduction.

Ivaylo Dobrikov Michael Leuschel

Published in: Formal Aspects Comput. (2016)

Keyphrases

model checking
partial order reduction
model checker
temporal logic
formal verification
symbolic model checking
formal specification
formal methods
artificial intelligence
reinforcement learning
search algorithm
binary images
heuristic search