slides - Department of Computer Science
slides - Department of Computer Science
slides - Department of Computer Science
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Pro<strong>of</strong> obligations generator<br />
The rules are:<br />
• The initialisation needs to establish the invariant on the assumption <strong>of</strong> the<br />
context <strong>of</strong> the machine.