Formal verification of a leader election protocol in process algebra

Author： Fredlund L.-a.   Groote J.F.   Korver H.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.177, Iss.2, 1997-05, pp. : 459-486

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Compositional software verification based on game semantics and process algebra

By Dimovski Aleksandar   Lazić Ranko  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 37-51

Springer Publishing Company

Access to resources Recommend Favorite

Randomized leader election

By Ramanathan Murali   Ferreira Ronaldo   Jagannathan Suresh   Grama Ananth   Szpankowski Wojciech  

Distributed Computing, Vol. 19, Iss. 5-6, 2007-04 ,pp. : 403-418

Springer Publishing Company

Access to resources Recommend Favorite

Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol

By  

International Journal of Information Security and Privacy (IJISP), Vol. 7, Iss. 2, 2013-04 ,pp. : 57-85

IGI Global_journal

Access to resources Recommend Favorite

Coverage metrics for formal verification

By Chockler Hana   Kupferman Orna   Vardi Moshe  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 373-386

Springer Publishing Company

Access to resources Recommend Favorite

Protocol verification with the ALDÉBARAN toolset

By Bozga Marius   Fernandez Jean-Claude   Kerbrat Alain   Mounier Laurent  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 166-183

Springer Publishing Company

Access to resources Recommend Favorite