Invariant relations for affine loops
From MaRDI portal
Publication:6592111
DOI10.1007/s00236-024-00457-9MaRDI QIDQ6592111
Ji Meng Loh, Wided Ghardallou, Richard C. Linger, Ali Milli, Mark G. Pleszkoch, Hessamaldin Mohammadi
Publication date: 24 August 2024
Published in: Acta Informatica (Search for Journal in Brave)
Cites Work
- Unnamed Item
- A versatile concept for the analysis of loops
- Reflexive transitive invariant relations: A basis for computing loop functions
- Mathematics for reasoning about loop functions
- Affine relationships among variables of a program
- Convergence: integrating termination and abort-freedom
- Invariant functions and invariant relations: an alternative to invariant assertions
- Termination of polynomial loops
- A relational division operator: The conjugate kernel
- The Daikon system for dynamic detection of likely invariants
- A Modular Static Analysis Approach to Affine Loop Invariants Detection
- Transition Invariants and Transition Predicate Abstraction for Program Termination
- Invariant Generation for Multi-Path Loops with Polynomial Assignments
- Aligator: A Mathematica Package for Invariant Generation (System Description)
- Stochastic Control and Mathematical Modeling
- Inferring Loop Invariants Using Postconditions
- Combining Widening and Acceleration in Linear Relation Analysis
- Relational Methods in Computer Science
- Automatic Generation of Polynomial Loop Invariants
- Polynomial Invariants for Affine Programs
- Transforming Programs into Recursive Functions
- Abstract acceleration of general linear loops
- Quantified Invariant Generation Using an Interpolating Saturation Prover
- Computer Aided Verification
- Affine Loop Invariant Generation via Matrix Algebra
This page was built for publication: Invariant relations for affine loops
