Abstract Interpretation with Applications to Timing Validation
Abstract elided by the publisher.
Related papers
- Correctness Witness Validation by Abstract Interpretation VMCAI 2024
- An abstract interpretation framework for refactoring with application to extract methods with contracts OOPSLA 2012
- Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution) TACAS 2024
- Absynthe: Abstract Interpretation-Guided Synthesis PLDI 2023
- Deciding kCFA is complete for EXPTIME ICFP 2008
- A fast in-place interpreter for WebAssembly OOPSLA 2022
- Abstract interpretation of distributed network control planes POPL 2020
- SAIL: Sound Abstract Interpreters with LLMs PLDI 2026