No edit summary |
m (Update ProB2-UI link) |
||
| Line 19: | Line 19: | ||
Other Interfaces to ProB: | Other Interfaces to ProB: | ||
* [[Using the Command-Line Version of ProB]] | * [[Using the Command-Line Version of ProB]] | ||
* [[ | * [[ProB2-UI]] | ||
ProB and Other Tools: | ProB and Other Tools: | ||
Animation and Visualisation with ProB:
Validation with ProB:
Other Interfaces to ProB:
ProB and Other Tools:
ProB for Other Languages:
Advanced Features of ProB:
FAQ, Tips and Troubleshootings: