No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
* [[N-Queens]] | * [[N-Queens]] | ||
* [[Peaceable Armies of Queens]] | * [[Peaceable Armies of Queens]] | ||
* [[ABZ14|ABZ 2014 Landing Gear Case Study]] | |||
* [[Sudoku Solved in the ProB REPL]] | |||
We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.