Bounded Underapproximations
No abstract available.
Related papers
- Proof-Guided Underapproximation Widening for Bounded Model Checking CAV 2022
- Proof-guided underapproximation-widening for multi-process systems POPL 2005
- Revisiting Underapproximate Reachability for Multipushdown Systems TACAS 2020
- Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures POPL 2026
- Underapproximating Predicate Transformers SAS 2006
- Underapproximation for Model-Checking Based on Random Cryptographic Constructions CAV 2007
- Underapproximation of Procedure Summaries for Integer Programs TACAS 2013
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024