ProB Examples

We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.

• TrainSwitchingPuzzle
• Model for Card Trick by Gilbreath
• Rush Hour Puzzle
• Game of Life
• N-Queens
• Peaceable Armies of Queens
• ABZ 2014 Landing Gear Case Study
• Sudoku Solved in the ProB REPL
• Mutual Exclusion (Fairness)
• Cheryl's Birthday
• Blocks World (Directed Model Checking)
• Nine Prisoners Puzzle by Dudeney and Gardner