Verification of a radio-based signaling system using the STATEMATE verification environment
From MaRDI portal
Publication:5959851
DOI10.1023/A:1011279932612zbMath0990.68568OpenAlexW1778827758MaRDI QIDQ5959851
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
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)
Related Items
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