No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
* [[Rush Hour Puzzle]] | * [[Rush Hour Puzzle]] | ||
* [[Game of Life]] | * [[Game of Life]] | ||
* [[N-Queens]] | |||
* [[Peaceable Armies of Queens]] | * [[Peaceable Armies of Queens]] | ||
We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.