PVS Example: Dijkstra's algorithm for self-stabilizing mutual exclusion Authors: Shaz Qadeer and Natarajan Shankar Date : Oct. 15, 1997 Files include: stability.dmp : A PVS dump file containing the libraries, full specifications, and proofs. stability.pvs : The PVS specification file. Dump file: stability.dmp Use M-x undump-pvs-file stability.dmp