Example MIL programs

To download one of these examples, simply copy and paste from the browser window.
According to your choice of syntax, the result may be further processed in various ways...

Select an XML source-file containing the syntax tree of a triple (MIL program + Pre & Postconditions)

Choose the concrete syntax with which you wish to read your program