State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.

Philipp Krner, Michael Leuschel, Jeroen Meijer

Browse the full IFM paper archive.