No edit summary |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 11: | Line 11: | ||
* [[Mutual Exclusion (Fairness)]] | * [[Mutual Exclusion (Fairness)]] | ||
* [[Cheryl's Birthday]] | * [[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.