Small-step Semantics of PLEXIL in PVS
Contact: Cesar Munoz (munoz@nianet.org)

To run all the proofs (assuming the package ProofLite is installed) type:

$ <PVS_DIR>/proveit -a top

