CSCI P415/515 Fri Jan 6 15:18:04 EST 2012 [SDJ]

Homework Assignment

Instructions:

  1. Copy PVS source files I.pvs and J.pvs into your working directory.
  2. Prove all theorems in both files. Note: in order to do this you will need to introduce some theorems of your own. Not all the results can be proved without additional facts.
  3. Turn in modified .pvs files, and .prf and .status as usual.

Notes and Hints: