CS 260r 2017 L9: Safe to the Last Instruction (Verve) (2/22)
Give one or more “ensures” clauses for the YieldTo procedure defined in §4.6, in either English text or Boogie-like pseudocode. Your clauses should enforce the invariants on which the Verve Nucleus depends.
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard.
Terms of Service