Symmetry Reduced Model Checking for B.

Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler

Browse the full TASE paper archive.