Check It Out: On the Efficient Formal Verification of Live Sequence Charts

DOI10.1007/11817963_22MaRDI QIDQ5756737zbMATH OpenOpenAlexFDO

Authors Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke

Publication date 5 September 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817963_22

Mathematics Subject Classification ID

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

Recommendations

• Live and let die: LSC-based verification of UML-models.
• On the Expressive Power of Live Sequence Charts
• scientific article; zbMATH DE number 1701777
• Concurrent LSC verification
• Live and let die: LSC based verification of UML models

Cited in

(11)

• Live and let die: LSC based verification of UML models
• scientific article; zbMATH DE number 1701777 (Why is no real title available?)
• Improving translation of live sequence charts to temporal logic
• Concurrent LSC verification
• On the Expressive Power of Live Sequence Charts
• Verifying Communication Protocols Using Live Sequence Chart Specifications
• Some Results on the Expressive Power and Complexity of LSCs
• Automated Technology for Verification and Analysis
• Foundations of Software Science and Computational Structures
• Live and let die: LSC-based verification of UML-models.
• Scenario-based verification of real-time systems using UPPAAL

This page was built for publication: Check It Out: On the Efficient Formal Verification of Live Sequence Charts

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