No edit summary |
No edit summary |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 9: | Line 9: | ||
* [[ABZ14|ABZ 2014 Landing Gear Case Study]] | * [[ABZ14|ABZ 2014 Landing Gear Case Study]] | ||
* [[Sudoku Solved in the ProB REPL]] | * [[Sudoku Solved in the ProB REPL]] | ||
* [[Mutual Exclusion (Fairness)]] | |||
* [[Cheryl's Birthday]] | |||
* [[Blocks World (Directed Model Checking)]] | |||
* [[Nine Prisoners|Nine Prisoners Puzzle by Dudeney and Gardner]] | |||
We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.