Pages that link to "Item:Q903492"
From MaRDI portal
The following pages link to Generating invariants for non-linear loops by linear algebraic methods (Q903492):
Displaying 7 items.
- Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Automatic Generation of Invariants for Circular Derivations in SUP(LA) (Q2891451) (← links)
- Non-linear loop invariant generation using Gröbner bases (Q3452270) (← links)
- Automatic generation of non-linear loop invariants (Q3646570) (← links)
- Computer Aided Verification (Q5900703) (← links)
- Affine Loop Invariant Generation via Matrix Algebra (Q6487319) (← links)