Cites work
- A modular static analysis approach to affine loop invariants detection
- A relational division operator: The conjugate kernel
- A versatile concept for the analysis of loops
- Abstract acceleration of general linear loops
- Affine Loop Invariant Generation via Matrix Algebra
- Affine relationships among variables of a program
- Aligator: A Mathematica Package for Invariant Generation (System Description)
- Automatic Generation of Polynomial Loop Invariants
- Combining Widening and Acceleration in Linear Relation Analysis
- Computer Aided Verification
- Convergence: integrating termination and abort-freedom
- scientific article; zbMATH DE number 234018 (Why is no real title available?)
- Inferring Loop Invariants Using Postconditions
- Invariant functions and invariant relations: an alternative to invariant assertions
- Invariant generation for multi-path loops with polynomial assignments
- Mathematics for reasoning about loop functions
- Polynomial Invariants for Affine Programs
- Quantified Invariant Generation Using an Interpolating Saturation Prover
- Reflexive transitive invariant relations: A basis for computing loop functions
- Relational Methods in Computer Science
- Stochastic control and mathematical modeling. Applications in economics.
- Termination of polynomial loops
- The Daikon system for dynamic detection of likely invariants
- Transforming programs into recursive functions
- Transition invariants and transition predicate abstraction for program termination
This page was built for publication: Invariant relations for affine loops
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6592111)
