diff options
Diffstat (limited to 'uppaalassignment/dining_savages.q')
| -rw-r--r-- | uppaalassignment/dining_savages.q | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/uppaalassignment/dining_savages.q b/uppaalassignment/dining_savages.q new file mode 100644 index 0000000..da0f201 --- /dev/null +++ b/uppaalassignment/dining_savages.q @@ -0,0 +1,31 @@ +//This file was generated from (Commercial) UPPAAL 4.0.14 (rev. 5615), May 2014 + +/* + +*/ +A[] not deadlock + +/* + +*/ +E<> servings == 0 + +/* + +*/ +A[] not (Mutex.overflow or FullPot.overflow or EmptyPot.overflow) + +/* + +*/ +A[] not (cook.put and servings != 0) + +/* + +*/ +A[] not (s1.eat and servings == 0) + +/* + +*/ +A[] servings >= 0 |