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

DOI10.1007/11817963_22zbMath1188.68191OpenAlexW1603760039MaRDI QIDQ5756737

Hartmut Wittke, Bernd Westphal, Jochen Klose, Tobe Toben

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)

Related Items (3)

Scenario-based verification of real-time systems using UPPAAL ⋮ Some Results on the Expressive Power and Complexity of LSCs ⋮ Improving Translation of Live Sequence Charts to Temporal Logic

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