Students should install PVS 6.0 with NASA Langley PVS Libraries on their Linux machine. Instructions see Exercise 1.