success with 4:)

[ar1516.git] / a2 / src / 4.smv

diff --git a/a2/src/4.smv b/a2/src/4.smv
deleted file mode 100644 (file)
index 08856c4..0000000
--- a/a2/src/4.smv
+++ /dev/null
@@ -1,24 +0,0 @@
-MODULE main
-VAR
-p1: boolean;
-p2: boolean;
-INIT
-p1=TRUE & p2=TRUE & p3=TRUE &
-p4=TRUE & p5=TRUE & p6=TRUE &
-
-p7=TRUE & p8=TRUE & 
-       p9=TRUE & p10=TRUE & p11=TRUE &
-       p12=TRUE & p13=TRUE &
-p14=TRUE & p15=TRUE &
-       p16=TRUE & p17=TRUE & p18=TRUE &
-       p19=TRUE & p20=TRUE &
-p21=TRUE & p22=TRUE & p23=TRUE &
-       p24=TRUE & p25=TRUE & p26=TRUE &
-       p27=TRUE & p28=TRUE &
-
-p29=TRUE & p30=TRUE & p31=TRUE &
-p32=TRUE & p33=TRUE & p34=TRUE
-TRANS
-next(p1)=TRUE &
-next(p2)=TRUE
-LTLSPEC G !(p1=FALSE)