A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Partial specifications and compositional verification
1991
Theoretical Computer Science
Larsen, KG. and B. Thomsen, Partial specifications and compositional verification, Theoretical Computer Science 88 (1991) 15-32. The purpose of this paper is to present and illustrate a new compositional proof method for nondeterministic and concurrent systems, i.e. a method which allows factoring the correctness proof of a system into similar but smaller proofs of correctness of subsystems. Our method is an extension of the well-established notion of bisimulation (Park 1981 , Milner 1983 ; it
doi:10.1016/0304-3975(91)90071-9
fatcat:kzx63za2jbhjbbgjqy3nwsg46q