No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
* [[Sudoku Solved in the ProB REPL]] | * [[Sudoku Solved in the ProB REPL]] | ||
* [[Mutual Exclusion (Fairness)]] | * [[Mutual Exclusion (Fairness)]] | ||
* [[Cheryl's Birthday]] | |||
We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.