Technical reports · 2023.04.23
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Overview
This technical report formalizes decision-sampling adequacy and time-bounded recovery for runtime assurance architectures. It combines Maude symbolic rewriting with Z3 constraint solving to automate recovery proofs for systems using safety-mode switching.
Version: arXiv v1 — manuscript revision