Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations
Abstract elided by the publisher.
Related papers
- PTIME Computation of Transitive Closures of Octagonal Relations TACAS 2016
- Abstract Domains of Affine Relations TOPLAS 2014
- Synthesizing iterators from abstraction functions GPCE 2012
- Transitive Closures of Regular Relations for Verifying Infinite-State Systems TACAS 2000
- Associons: A Program Notation with Tuples Instead of Variables TOPLAS 1981
- Equivalence checking of static affine programs using widening to handle recurrences TOPLAS 2012
- Reflections on Termination of Linear Loops CAV 2021
- TLA+ model checking made symbolic OOPSLA 2019