Formal Methods Wiki
Advertisement

A simple drinks dispensing machine can provide tea or co�ee, both with or without milk and with

or without sugar:

Products ::= Tea j Co�ee j Milk j Sugar

__Name_______________
| declarations
|_______
| predicates
|_____________________

Advertisement