No edit summary |
No edit summary |
||
| Line 12: | Line 12: | ||
* [[CSP-M|Using CSP-M in ProB]] | * [[CSP-M|Using CSP-M in ProB]] | ||
* [[ProZ|Using ProZ for Animation and Model Checking of Z Specifications]] | * [[ProZ|Using ProZ for Animation and Model Checking of Z Specifications]] | ||
* [[TLA|Using ProB for TLA Specifications]] | |||
* [[Other languages|Using ProB with Promela and other languages]] | * [[Other languages|Using ProB with Promela and other languages]] | ||
* [[Symmetry Reduction]] | * [[Symmetry Reduction]] | ||