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.