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.

Attachment	Size
Verifying_convergence_pattern_formation_PVS_meta_theory.zip	434.7 KB