No edit summary |
No edit summary |
||
| Line 20: | Line 20: | ||
* [[TLA|Using ProB for TLA Specifications]] | * [[TLA|Using ProB for TLA Specifications]] | ||
* [[TLC|Using TLC for B Specifications]] | * [[TLC|Using TLC for B 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]] | ||
* [[Symmetry Reduction]] | * [[Symmetry Reduction]] | ||