Closed xiaohe27 closed 9 years ago
[] forall ?user. ?db. ?p. ?data. insert (?user, ?db, ?p, ?data) => (<> fool(?a, ?b, ?c, ?d) /\ (?a = ?user /\ ?b = ?db /\ ?c = ?p /\ ?d = ?data))
Try a large log file
Not supported, the syntax is not valid in Monpoly, the future operator need to be bounded. Unbounded future operator is not monitor-able by current Monpoly.
[] forall ?user. ?db. ?p. ?data. insert (?user, ?db, ?p, ?data) => (<> fool(?a, ?b, ?c, ?d) /\ (?a = ?user /\ ?b = ?db /\ ?c = ?p /\ ?d = ?data))
Try a large log file