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
.
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
2007
Electronical Notes in Theoretical Computer Science
The main motivation of this paper is to describe an architecture that intends to ease the verification of distributed algorithms and protocols (possibly mobile) through model checking. The core of the architecture is the protocol specification language (LEP), which has constructions, called pronouns, that allows for high-level specification. This means a much less verbose specification, when compared with the general-purpose specification language of the model checker used in our experiments.
doi:10.1016/j.entcs.2007.03.022
fatcat:tfk2nkauqzdbrcjoagyouanle4