Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

DOI10.1007/978-3-319-70848-5_3MaRDI QIDQ5045457zbMATH OpenOpenAlexFDO

Authors Farah al-Shareefi, Clare Dixon, Alexej P. Lisitsa

Publication date 4 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-70848-5_3

zbMATH Keywords

abstract state machinessystem-theoretic process analysistemporal logicvalidationverification

Mathematics Subject Classification ID

Temporal logic (03B44) Classical models of computation (Turing machines, etc.) (68Q04) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The abstract state machines method for high-level system design and analysis
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• scientific article; zbMATH DE number 1670502
• scientific article; zbMATH DE number 2102724
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• Model Checking Safety-Critical Systems Using Safecharts
• scientific article; zbMATH DE number 1670519

Cited in

(5)

• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Abstract State Machines
• scientific article; zbMATH DE number 2033508 (Why is no real title available?)
• scientific article; zbMATH DE number 2033516 (Why is no real title available?)
• Construction of abstract state graphs for understanding Event-B models

This page was built for publication: Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

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