loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 Seventh IEEE International Symposium on Network Computing and Applications
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
July 10-July 12
ISBN: 978-0-7695-3192-2
ASCII Text
x 
 
Marina Gelastou, Chryssis Georgiou, Anna Philippou, "On the Application of Formal Methods for Specifying and Verifying Distributed Protocols," Network Computing and Applications, IEEE International Symposium on, pp. 195-204, 2008 Seventh IEEE International Symposium on Network Computing and Applications, 2008.
 
 
BibTex
x
 
@article{ 10.1109/NCA.2008.24,
author = {Marina Gelastou and Chryssis Georgiou and Anna Philippou},
title = {On the Application of Formal Methods for Specifying and Verifying Distributed Protocols},
journal ={Network Computing and Applications, IEEE International Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3192-2},
pages = {195-204},
doi = {http://doi.ieeecomputersociety.org/10.1109/NCA.2008.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Network Computing and Applications, IEEE International Symposium on
TI - On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
SN - 978-0-7695-3192-2
SP195
EP204
A1 - Marina Gelastou,
A1 - Chryssis Georgiou,
A1 - Anna Philippou,
PY - 2008
KW - Formal Methods
KW - I/O Automata
KW - Process Algebra
KW - Distributed Protocols
KW - Applicability
KW - Usability
KW -
VL - 0
JA - Network Computing and Applications, IEEE International Symposium on
ER -
 
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 relativecapabilities, 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.
Index Terms:
Formal Methods, I/O Automata, Process Algebra, Distributed Protocols, Applicability, Usability,
Citation:
Marina Gelastou, Chryssis Georgiou, Anna Philippou, "On the Application of Formal Methods for Specifying and Verifying Distributed Protocols," nca, pp.195-204, 2008 Seventh IEEE International Symposium on Network Computing and Applications, 2008
Usage of this product signifies your acceptance of the Terms of Use.