started with the report

[master.git] / ar / assignments / 4.smv

diff --git a/ar/assignments/4.smv b/ar/assignments/4.smv
deleted file mode 100644 (file)
index 67d257b..0000000
--- a/ar/assignments/4.smv
+++ /dev/null
@@ -1,24 +0,0 @@
-MODULE main
-VAR
-a2 : 2..100;
-a3 : 3..100;
-a4 : 4..100;
-a5 : 5..100;
-a6 : 6..100;
-c : 0..30;
-INIT
-a2 = 2 & a3 = 3 & a4 = 4 & a5 = 5 & a6 = 6 & c=1
-TRANS
-next(c)=c+1 & (
-       next(a2)=1+a3 |
-       next(a3)=a2+a4 |
-       next(a4)=a3+a5 |
-       next(a5)=a4+a6 |
-       next(a6)=a5+7
-)
-LTLSPEC G !(
-       (a2>=50) |
-       (a3>=50) |
-       (a4>=50) |
-       (a5>=50)
-)