Help

ProB Examples

Revision as of 15:31, 22 June 2015 by Michael Leuschel (talk | contribs)
(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=2891"