No edit summary |
No edit summary |
||
| Line 24: | Line 24: | ||
* [[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]] | ||
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: