Pages that link to "Item:Q3526926"
From MaRDI portal
The following pages link to Generating Polynomial Invariants with DISCOVERER and QEPCAD (Q3526926):
Displaying 9 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- On invariant checking (Q394493) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- An Iterative Method for Generating Loop Invariants (Q3004678) (← links)
- Static Analysis (Q5466567) (← links)
- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation (Q5505618) (← links)