Changes between Version 6 and Version 7 of MoMoC

Timestamp:

Jan 12, 2020, 9:38:38 PM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -14 +14 @@
 A detailed user guide will follow shortly.
 
+p and q are state formulas, f is a path formula.
+
+||= Category =||= Name =||= Allowed Variations =||= Syntax =||
+||= Boolean =|| True || TRUE, True || ||
+|| || False || FALSE, False || ||
+|| || Not || NOT, Not, ~, ¬ || (Not p) ||
+|| || And || AND, And, ∧ ||  (p And q) ||
+|| || Or || Or, OR, ∨ || (p Or q) ||
+||= Temporal =|| A || A, ALLPATH || Af ||
+|| || E || E, EXPATH || Ef ||
+|| || G || G, ALWAYS, [], GLOBAL || Gp ||
+|| || F || F, EVENTUALLY, <>, FUTURE || Fp ||
+|| || X || X, NEXTSTATE,O, NEXT || Xp ||
+|| || U || U, UNTIL || (p U q) ||
+||= Atomic =|| Deadlock || DEADLOCK ||  ||
+|| || Fireable || FIREABLE(Arg) || FIREABLE(T1) ||
+|| || NetInstanceForall || !(Arg, InstancePredicate) || !(NetA, m(p1) > 0) ||
+|| || NetInstanceExists || ?(Arg, InstancePredicate) || ?(NetB, m(p2) = 4) ||
+|| || InstancePredicate || m(Arg) Op Number || m(p3) <= 1 ||
+|| || Op || =, >, <, >=, <= || ||
+|| || Arg || [A-Za-z0-9]+ || ||
+|| || Number || [0-9]+ || ||
+
 == Developer Guide