scientific article; zbMATH DE number 1948385
From MaRDI portal
Publication:4411947
zbMath1015.68043MaRDI QIDQ4411947
Helmut Seidl, Markus Müller-Olm
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770004.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Computing polynomial program invariants ⋮ Recent advances in program verification through computer algebra ⋮ A quantifier-elimination based heuristic for automatically generating inductive assertions for programs ⋮ Generating invariants for non-linear loops by linear algebraic methods ⋮ Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ ⋮ Constructing invariants for hybrid systems ⋮ Reasoning Algebraically About P-Solvable Loops ⋮ Forward analysis for WSTS, part I: completions ⋮ Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
This page was built for publication: