uppaalassignment/dining_savages.q


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

//This file was generated from (Commercial) UPPAAL 4.0.14 (rev. 5615), May 2014

/*

*/
E<> cook.put

/*

*/
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