ProB for Event-B

Revision as of 09:12, 21 January 2016 by Michael Leuschel (talk | contribs) (Created page with "In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform. ProB can be installed as a plugin for Rodin. See the tutorial p...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform. ProB can be installed as a plugin for Rodin. See the tutorial pages for more information:

The Rodin handbook also contains material about ProB: