Symbolic Verification with Periodic Sets
No abstract available.
Related papers
- Solving Conditional Linear Recurrences for Program Verification: The Periodic Case OOPSLA 2023
- Static Race Detection for Periodic Programs ESOP 2022
- Formalising Sharkovsky's Theorem (Proof Pearl) CPP 2023
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Streaming transducers for algorithmic verification of single-pass list-processing programs POPL 2011
- Adaptive low-overhead scheduling for periodic and reactive intermittent execution PLDI 2020
- Antichains Algorithms for the Inclusion Problem Between ømega-VPL TACAS 2023
- Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification VMCAI 2026