Optimising the ProB Model Checker for B Using Partial Order Reduction.

Ivaylo Dobrikov, Michael Leuschel

Browse the full SEFM paper archive.