Specification and verification using message sequence charts

DOI10.1016/S1571-0661(04)80484-5MaRDI QIDQ2841317zbMATH OpenOpenAlexFDO

Authors Doron Peled

Publication date 24 July 2013

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

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80484-5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The theory of message sequence charts
• Lectures on Concurrency and Petri Nets
• Basic protocols, message sequence charts, and the verification of requirements specifications
• scientific article; zbMATH DE number 1307655
• Formal techniques for analysing scenarios using message sequence charts

Cites work

• scientific article; zbMATH DE number 1701776 (Why is no real title available?)
• scientific article; zbMATH DE number 734956 (Why is no real title available?)
• scientific article; zbMATH DE number 1754636 (Why is no real title available?)
• scientific article; zbMATH DE number 1418329 (Why is no real title available?)
• Specification and verification using message sequence charts

Cited in

(5)

• Automated Technology for Verification and Analysis
• Specification and verification using message sequence charts
• Verifying Communication Protocols Using Live Sequence Chart Specifications
• Realizability of high-level message sequence charts: closing the gaps
• Basic protocols, message sequence charts, and the verification of requirements specifications

This page was built for publication: Specification and verification using message sequence charts

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