No edit summary |
No edit summary |
||
| (5 intermediate revisions by 2 users not shown) | |||
| 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: | ||
* [[Using ProB with Atelier B]] | * [[Using ProB with Atelier B]] | ||
* [[TLC|Using TLC for B Specifications]] | * [[TLC|Using TLC for B Specifications]] | ||
* [[LTSMin|Using ProB with LTSMin as Model Checking Backend]] | |||
* [[Using ProB with KODKOD]] | * [[Using ProB with KODKOD]] | ||
* [[Using ProB with Z3]] | * [[Using ProB with Z3]] | ||
| Line 38: | Line 39: | ||
* [[Alloy|Using ProB for Alloy Specifications]] | * [[Alloy|Using ProB for Alloy Specifications]] | ||
* [[Other languages|Using ProB with Promela and other languages]] | * [[Other languages|Using ProB with Promela and other languages]] | ||
* [[Rules-DSL|Using the B Rules DSL Language]] | |||
Advanced Features of ProB: | Advanced Features of ProB: | ||
| Line 46: | Line 48: | ||
* [[Operation Calls in Expressions]] | * [[Operation Calls in Expressions]] | ||
* [[External Functions]] | * [[External Functions]] | ||
* [[Reals and Floats]] | |||
* [[Debugging]] | * [[Debugging]] | ||
* [[Common Subexpression Elimination]] | * [[Common Subexpression Elimination]] | ||
| Line 51: | Line 54: | ||
* [[State Space Coverage Analyses]] | * [[State Space Coverage Analyses]] | ||
* [[Generating Documents with ProB and Latex]] | * [[Generating Documents with ProB and Latex]] | ||
* [[Caching Constants and Operations]] | |||
* [[Generating UML Sequence Charts]] | |||
FAQ, Tips and Troubleshootings: | FAQ, Tips and Troubleshootings: | ||
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: