Verifying Safety Properties of Differential Equations
Abstract elided by the publisher.
Related papers
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021
- Automatic Verification of Stability and Safety for Delay Differential Equations CAV 2015
- VeriPhy: verified controller executables from verified cyber-physical system models PLDI 2018
- NNV 2.0: The Neural Network Verification Tool CAV 2023
- Unbounded-Time Safety Verification of Stochastic Differential Dynamics CAV 2020
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations CAV 2019
- A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics CPP 2016
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026