An algorithmic technique for protocol verification

DOI10.1109/26.3772MaRDI QIDQ3805886zbMATH OpenOpenAlexFDO

Authors Krishan Sabnani

Publication date 1988

Published in IEEE Transactions on Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/26.3772

zbMATH Keywords

temporal logicsafetylivenessprotocol verificationfinite-state machine

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 1903360
• Verification of parameterized protocols
• Protocol verification with the Aldébaran toolset
• A proof of protocol correctness
• scientific article; zbMATH DE number 3958712
• A rewriting strategy for protocol verification

Cited in

(16)

• Probabilistic verification of communication protocols
• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 1863380 (Why is no real title available?)
• Verification of a multidestination selective repeat procedure
• Message-passing algorithms for the verification of distributed protocols
• Parametric Language Analysis of the Class of Stop-and-Wait Protocols
• A proof of protocol correctness
• scientific article; zbMATH DE number 220136 (Why is no real title available?)
• scientific article; zbMATH DE number 4060690 (Why is no real title available?)
• Local model checking and protocol analysis
• Protocol validation — principles and applications
• Protocol Verification via Projections
• scientific article; zbMATH DE number 1670759 (Why is no real title available?)
• scientific article; zbMATH DE number 3903959 (Why is no real title available?)
• Efficient verification of a multicast protocol for mobile computing
• scientific article; zbMATH DE number 3926217 (Why is no real title available?)

This page was built for publication: An algorithmic technique for protocol verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3805886)