Login / Signup
Optimising the ProB Model Checker for B Using Partial Order Reduction.
Ivaylo Dobrikov
Michael Leuschel
Published in:
SEFM (2014)
Keyphrases
</>
model checking
partial order reduction
model checker
temporal logic
formal verification
symbolic model checking
formal specification
formal methods
domain specific
description language
optimal solution
evolutionary algorithm
gray scale
orders of magnitude
planning domains