技术报告 · 2023.04.23
自动化证明采用运行时保障架构的网络物理系统的可恢复性
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
资料概述
该技术报告形式化运行时保障架构的决策采样充分性和限时恢复问题。它结合 Maude 符号重写与 Z3 约束求解，自动生成使用安全模式切换的系统恢复证明。
版本: arXiv v1 — manuscript revision