PVS‎ > ‎


Here is a list of PVS exercises, often coming with hints, partial or complete solutions: please never immediately look at solutions while you are working on an exercise.

  • have inference summary page available on your screen, as a quick reminder of PVS proof commands;
  • have a sheet of paper and pen, or tactile tablet, or other drawing/writing tool, in support of your proof ideas;
  • start each exercise from a new PVS context, a sub-directory of your PVS directory.