Symbolic Reachability Analysis of B Through ProB and LTSmin.

Jens Bendisposto, Philipp Krner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield

Browse the full IFM paper archive.