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