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