Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
No abstract available.
Related papers
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Execution reconstruction: harnessing failure reoccurrences for failure reproduction PLDI 2021
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- KATch: A Fast Symbolic Verifier for NetKAT PLDI 2024
- CCured: type-safe retrofitting of legacy software TOPLAS 2005
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- Precise and compact modular procedure summaries for heap manipulating programs PLDI 2011
- A fast analytical model of fully associative caches PLDI 2019