ProB for Event-B

Revision as of 14:51, 4 February 2021 by David Geleßus (talk | contribs) (Update Rodin handbook links)
(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. Once installed, one can export contexts and models as *.eventb files and use them within ProB Tcl/Tk and the command-line version probcli.

See the tutorial pages for more information about using ProB for Event-B:

The Rodin handbook also contains material about ProB: