Abstract Domains of Affine Relations
No abstract available.
Related papers
- Abstract Domains of Affine Relations TOPLAS 2014
- Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics APLAS 2015
- QRANE: lifting QASM programs to an affine IR CC 2022
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Input-Relational Verification of Deep Neural Networks PLDI 2024
- Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations SAS 2011
- Linear and Non-linear Relational Analyses for Quantum Program Optimization POPL 2025
- Precise interprocedural analysis through linear algebra POPL 2004