Verifying Convergence of a Pattern Formation Protocol in PVS Theorem Prover

PVS Meta-theory for the paper "Convergence Verification: From Shared Memory to Partially Synchronous Systems". Submitted, May 2008.
AttachmentSize
Verifying_convergence_pattern_formation_PVS_meta_theory.zip434.7 KB