(Created page with 'We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB. * Gilbreath Card Trick') |
No edit summary |
||
| Line 1: | Line 1: | ||
We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB. | We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB. | ||
* [[ | * [[TrainSwitchingPuzzle]] | ||
* [[Gilbreath_Card_Trick|Model for Card Trick by Gilbreath]] | |||
* [[Rush Hour Puzzle]] | |||
* [[Game of Life]] | |||
We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.