Skip to content

Commit

Permalink
one more formula
Browse files Browse the repository at this point in the history
  • Loading branch information
yanntm committed Jul 3, 2024
1 parent cbe1f3d commit d6866cf
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions mist/fr.lip6.mist/benchmark/props.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
property fair [ltl] : G F ("A">=1) && G F ("B">=1 );
property "ReachabilityProperty1" [reachable] : "P1" + P2 <= 5;
property "InvariantProperty1" [invariant] : P1 + P2 > 5 || false;
property "AP1" [atom] : P1 <= P2;
Expand Down

0 comments on commit d6866cf

Please sign in to comment.