Sciweavers

Share
NCA
2008
IEEE

On the Application of Formal Methods for Specifying and Verifying Distributed Protocols

10 years 5 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and draw initial conclusions with respect to their relative capabilities, strengths and usability. To the best of our knowledge, this is the first hands-on evaluation of the two models, and we view it as the cornerstone for a wider investigation of the strengths and weaknesses of the two methodologies in specifying and verifying (distributed) protocols.
Marina Gelastou, Chryssis Georgiou, Anna Philippou
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where NCA
Authors Marina Gelastou, Chryssis Georgiou, Anna Philippou
Comments (0)
books