COMP 763 IN PRACTICE: UPPAAL Functions (typed and untyped) For/While/Do loops, If-Else statements Operators – All C operators: comparison, mathematical, assignment – Wrapper operators: min, max, and, or, not, imply – Quantifier: forall, exists Language Extensions: A C syntax 22
{}