Model Checking Safety-Critical Systems Using Safecharts

DOI10.1109/TC.2007.1021MaRDI QIDQ4564162zbMATH OpenOpenAlexFDO

Authors Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin

Publication date 12 June 2018

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2007.1021

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Model checking of safety properties
• scientific article; zbMATH DE number 2102704
• scientific article; zbMATH DE number 1982198
• Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
• A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
• Model checking safety-critical systems specified as X-machines
• Model checking safety properties in modular high-level nets

Cited in

(8)

• Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
• Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
• scientific article; zbMATH DE number 1817736 (Why is no real title available?)
• scientific article; zbMATH DE number 2102695 (Why is no real title available?)
• Undecidability of safety for the schematic protection model with cyclic creates
• Tableaux for realizability of safety specifications
• Finite Models vs Tree Automata in Safety Verification
• Mode-automata: A new domain-specific construct for the development of safe critical systems.

This page was built for publication: Model Checking Safety-Critical Systems Using Safecharts

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