No edit summary |
No edit summary |
||
| Line 15: | Line 15: | ||
* [[CSP-M|Using CSP-M in ProB]] | * [[CSP-M|Using CSP-M in ProB]] | ||
* [[Checking CSP Assertions]] | * [[Checking CSP Assertions]] | ||
* [[ProB for Event-B|Using ProB for Event-B and Rodin]] | |||
* [[Event-B Theories|Using ProB for Event-B with the theory plug-in]] | * [[Event-B Theories|Using ProB for Event-B with the theory plug-in]] | ||
* [[ProZ|Using ProZ for Animation and Model Checking of Z Specifications]] | * [[ProZ|Using ProZ for Animation and Model Checking of Z Specifications]] | ||