No edit summary |
No edit summary |
||
| (7 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: | ||
| Line 27: | Line 27: | ||
* [[Using ProB with KODKOD]] | * [[Using ProB with KODKOD]] | ||
* [[Using ProB with Z3]] | * [[Using ProB with Z3]] | ||
* [[B2SAT|Using ProB with B2SAT]] | |||
* [[Editors for ProB]] | * [[Editors for ProB]] | ||
| Line 39: | Line 40: | ||
* [[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 53: | Line 55: | ||
* [[State Space Coverage Analyses]] | * [[State Space Coverage Analyses]] | ||
* [[Generating Documents with ProB and Latex]] | * [[Generating Documents with ProB and Latex]] | ||
* [[Caching Constants and Operations]] | |||
* [[Monte Carlo Tree Search Game Play]] | |||
Advanced Visualization Features of ProB: | |||
* [[Generating UML Sequence Charts]] | |||
* [[Custom_Graph|Custom Graph Visualization]] | |||
* [[VisB|VisB SVG-based Visualization]] | |||
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:
Advanced Visualization Features of ProB:
FAQ, Tips and Troubleshootings: