Formal Verification of Communication Protocols in Distributed Systems (CROSBI ID 489394)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Pek, Edgar ; Bogunović, Nikola
engleski
Formal Verification of Communication Protocols in Distributed Systems
In distributed applications, software components embedded in the communication protocols collectively provide the interaction and functionality among various parts that run on the common pervasive platform. However, software components, as the target for most of the changes, are expected to carry majority of the design faults. Hence, their verified conformance to the specification (correctness) is crucial for the reliable operation of the application. The paper surveys resent progress in the development of formal techniques as applied to the verification of protocols in distributed systems. Based on this analysis an appropriate method is selected and rigorously scrutinized by its practice to a specific protocol. Performance issues and possible improvements are discussed.
formal methods; communication protocols; distributed systems
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
44-49-x.
2003.
objavljeno
Podaci o matičnoj publikaciji
Budin, Leo ; Ribarić, Slobodan
Rijeka: Linia Vera
Podaci o skupu
XXVI International Convention MIPRO 2003
predavanje
19.05.2003-23.05.2003
Opatija, Hrvatska