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

DOI10.1023/A:1011279932612MaRDI QIDQ5959851zbMATH OpenOpenAlexFDO

Authors Werner Damm, Jochen Klose

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

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

Recommendations

• scientific article; zbMATH DE number 1519897
• A formal approach for the construction and verification of railway control systems
• The Statemate verification environment -- making it real
• Formal analysis and verification of Statemate designs
• Formal verification of STATEMATE-statecharts

Cited in

(9)

• Dependability analysis of the data communication system in train control system
• Improving translation of live sequence charts to temporal logic
• Dynamic state machines for formalizing railway control system specifications
• Formal modeling and verification for MVB
• Supporting design and developement of safety critical applications by model based tools
• scientific article; zbMATH DE number 1519897 (Why is no real title available?)
• Verifying Communication Protocols Using Live Sequence Chart Specifications
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Scenario-based verification of real-time systems using UPPAAL

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

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