The following pages link to (Q4411947):
Displaying 7 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Computing polynomial program invariants (Q2390319) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ (Q3522079) (← links)
