Skip to content
Snippets Groups Projects
Select Git revision
  • b33e58f4fb39b4afb02bfe5227e1fa1924f6e150
  • master default protected
2 results

master.tex

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    LTLError.mch 201 B 
    MACHINE LTLError
DEFINITIONS
ASSERT_LTL_1 == "F {x = 11}"
VARIABLES x
INVARIANT
 x : 1..10
INITIALISATION x:=1
OPERATIONS
  Inc = PRE x < 10 THEN x:= x + 1 END;
  Reset = PRE x = 10 THEN x := 1 END
END