Verifying Communication Protocols Using Live Sequence Chart Specifications

DOI10.1016/J.ENTCS.2009.08.016MaRDI QIDQ5178973zbMATH OpenOpenAlexFDO

Authors Rahul Kumar, Eric G. Mercer

Publication date 18 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.08.016

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Recommendations

• Specification and verification using message sequence charts
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1437515
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• scientific article; zbMATH DE number 2080915
• Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
• Probabilistic verification of communication protocols

Cites work

• scientific article; zbMATH DE number 5044575 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• Improving translation of live sequence charts to temporal logic
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of a radio-based signaling system using the STATEMATE verification environment

Cited in

(2)

• Compositional verification of a communication protocol for a remotely operated aircraft
• Improving translation of live sequence charts to temporal logic

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Verifying Communication Protocols Using Live Sequence Chart Specifications

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