ProB Examples - ProB Documentation

Help

ProB Examples

Revision as of 11:23, 22 May 2013 by Michael Leuschel (talk | contribs) (Created page with 'We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB. * Gilbreath Card Trick')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.

Retrieved from "https://prob.hhu.de/w/index.php?title=ProB_Examples&oldid=1900"