From 22312be09b0e1eb0d9de7c858b672d617246dc90 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 15 Oct 2015 12:40:19 +0200
Subject: Start working on UPPAAL assignment; finished(?) model

---
 uppaalassignment/dining_savages.q | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 uppaalassignment/dining_savages.q

(limited to 'uppaalassignment/dining_savages.q')

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
-- 
cgit v1.2.3