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

DOI10.1007/978-3-319-70848-5_3zbMath1498.68148OpenAlexW2768006048MaRDI QIDQ5045457

Clare Dixon, Farah al-Shareefi, 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

verificationtemporal logicabstract state machinesvalidationsystem-theoretic process analysis

Mathematics Subject Classification ID

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

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