Introduction to Theorem Proving using PVS

Here the materials for the IPA basic course on PVS given at TUE Eindhoven on 25 June 2008. PVS can be downloaded from the PVS webpages at SRI. There is also more documentation there, namely If you're trying to use PVS by yourself, the WIFT tutorial, reachable from PVS documentation webpage is a good place to start; pages 32-.. talk you through getting started with PVS.