Loop Leaping with Closures
No abstract available.
Related papers
- Leaping Loops in the Presence of Abstraction CAV 2007
- LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes CAV 2014
- Bounded refinement types ICFP 2015
- Conferences & Остраннeние: Shortchanging Topos and Ourselves Onward! 2022
- Determination Problems for Orbit Closures and Matrix Groups POPL 2026
- The Z-polyhedral model PPoPP 2007
- PrIC3: Property Directed Reachability for MDPs CAV 2020
- Equivalence checking of static affine programs using widening to handle recurrences TOPLAS 2012