Browsing LCS Technical Memos (1974 - 2003) by Author "Lamport, Leslie"
Now showing items 1-1 of 1
-
A Lattice-structured Proof Technique Applied to a Minimum Spanning Tree Algorithm
Welch, Jennifer Lundelius; Lamport, Leslie; Lynch, Nancy A. (1988-06)Higly-optimized concurrent algorithms are often hard to prove correct because they have no natural decomposition into separately provable parts. This paper presents a proof technique for the modular verification of such ...