Help

ProB Examples

Revision as of 06:46, 25 January 2014 by Michael Leuschel (talk | contribs)

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=2091"