Verifying Communication Protocols Using Live Sequence Chart Specifications

DOI10.1016/j.entcs.2009.08.016zbMath1335.68142OpenAlexW2146724565MaRDI QIDQ5178973

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)

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Improving Translation of Live Sequence Charts to Temporal Logic
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods in Software and Systems Modeling
• Verification of a radio-based signaling system using the STATEMATE verification environment

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