Formal Verification of a Group Membership Protocol Using Model Checking

doi 10.1007/978-3-540-76848-7_34

Full Text

Abstract

Available in

Date

Unknown

Authors

Publisher

Springer Berlin Heidelberg

Related search

Model-Checking a Secure Group Communication Protocol: A Case Study

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1999English

Verification of Interlocking Systems Using Statistical Model Checking

2017English

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Flexible Intrusion Tolerant Group Membership Protocol

English

Redesign of the LMST Wireless Sensor Protocol Through Formal Modeling and Statistical Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Verification, Model Checking and Abstract Interpretation

1997English

Enhancing Formal Specification and Verification of E-Commerce Protocol

Journal of Advanced Computer Science & Technology
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy