(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...") |
No edit summary |
||
| Line 1: | Line 1: | ||
In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform. | 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. | ProB can be installed as a plugin for Rodin. Once installed, one can [[Tutorial Rodin Exporting|export contexts and models]] as *.eventb files and use them within ProB Tcl/Tk and the command-line version [[Using_the_Command-Line_Version_of_ProB|probcli]]. | ||
See the tutorial pages for more information: | |||
See the tutorial pages for more information about using ProB for Event-B: | |||
* [[Tutorial Rodin First Step|Starting ProB for Rodin and first animation steps]] | * [[Tutorial Rodin First Step|Starting ProB for Rodin and first animation steps]] | ||
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: