Model checking communication protocols
From MaRDI portal
Recommendations
- On Communicating Finite-State Machines
- An improved protocol validation technique for a class of communication models
- scientific article; zbMATH DE number 4011916
- scientific article; zbMATH DE number 910719
- Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
Cited in
(14)- State machines and assertions: An integrated approach to modeling and verification of distributed systems
- An improved protocol validation technique for a class of communication models
- Message-passing algorithms for the verification of distributed protocols
- scientific article; zbMATH DE number 3862445 (Why is no real title available?)
- An extension of protocol verification modal logic to multi-channel protocols
- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
- On Communicating Finite-State Machines
- On "A Simple Protocol Whose Proof Isńt": The State Machine Approach
- scientific article; zbMATH DE number 4011916 (Why is no real title available?)
- scientific article; zbMATH DE number 2050824 (Why is no real title available?)
- Logic-based verification of the distributed dining philosophers protocol
- Channel representations in protocol verification. (Preliminary version)
- Verifying Communication Protocols Using Live Sequence Chart Specifications
- Specification and analysis of a data transfer protocol using systems of communicating machines
This page was built for publication: Model checking communication protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473980)
