No edit summary |
No edit summary |
||
| Line 58: | Line 58: | ||
* [[Tips: B Idioms|Tips: Common B Idioms (let, if-then-else,...)]] | * [[Tips: B Idioms|Tips: Common B Idioms (let, if-then-else,...)]] | ||
* [[Summary of B Syntax]] | * [[Summary of B Syntax]] | ||
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: