From Failure to Proof: The ProB Disprover for B and Event-B.

Sebastian Krings, Jens Bendisposto, Michael Leuschel

Browse the full SEFM paper archive.