Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
No abstract available.
Related papers
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- Efficient Verification of Timed Automata with BDD-Like Data-Structures VMCAI 2003
- Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs CAV 1999
- Raising expectations: automating expected cost analysis with types ICFP 2020
- Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI 2024
- Symbolic Model Checking without BDDs TACAS 1999
- Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials OOPSLA 2025