No edit summary |
No edit summary |
||
| Line 39: | 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: | ||
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: