Verification of a radio-based signaling system using the STATEMATE verification environment

DOI10.1023/A:1011279932612zbMath0990.68568OpenAlexW1778827758MaRDI QIDQ5959851

Jochen Klose, Werner Damm

Publication date: 11 April 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011279932612

zbMATH Keywords

STATEMATE Verification Environment

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)

Related Items (4)

Scenario-based verification of real-time systems using UPPAAL ⋮ Verifying Communication Protocols Using Live Sequence Chart Specifications ⋮ Improving Translation of Live Sequence Charts to Temporal Logic ⋮ Dependability analysis of the data communication system in train control system

This page was built for publication: Verification of a radio-based signaling system using the STATEMATE verification environment