THOR: A Tool for Reasoning about Shape and Arithmetic
Abstract elided by the publisher.
Related papers
- Arithmetizing Shape Analysis CAV 2025
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP 2015
- Region-based shape analysis with tracked locations POPL 2005
- A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic VMCAI 2025
- Arithmetic Strengthening for Shape Analysis SAS 2007
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic SAS 2006
- Deductive Verification of Floating-Point Java Programs in KeY TACAS 2021
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019