A Verification Strategy for Timing-Constrained Systems
Abstract elided by the publisher.
Related papers
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Safety-Constrained Reinforcement Learning for MDPs TACAS 2016
- Heap compression for memory-constrained Java environments OOPSLA 2003
- Armada: low-effort verification of high-performance concurrent programs PLDI 2020
- Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility TOPLAS 2022
- Higher-order constrained horn clauses for verification POPL 2018
- RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers PLDI 2025
- Functional logic overloading POPL 2002