Model Checking Safety-Critical Systems Using Safecharts

DOI10.1109/TC.2007.1021zbMATH Open1390.68430OpenAlexW2121908619MaRDI QIDQ4564162FDOQ4564162

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Finite Models vs Tree Automata in Safety Verification
• Tableaux for realizability of safety specifications
• Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
• Title not available (Why is that?)
• Undecidability of safety for the schematic protection model with cyclic creates
• Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
• Title not available (Why is that?)
• 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)