scientific article; zbMATH DE number 1948385

MaRDI QIDQ4411947zbMATH OpenFDO

Authors Markus Müller-Olm, Helmut Seidl

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770004.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 17825
• Decidability of the analysis problem for dataflow models of programs
• scientific article; zbMATH DE number 1692940
• Finite constants: Characterizations of a new decidable set of constants
• Precise interprocedural dataflow analysis with applications to constant propagation

Cited in

(13)

• Finite constants: Characterizations of a new decidable set of constants
• Computing polynomial program invariants
• Constructing invariants for hybrid systems
• scientific article; zbMATH DE number 1692940 (Why is no real title available?)
• Forward analysis for WSTS, part I: completions
• Recent advances in program verification through computer algebra
• Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$
• scientific article; zbMATH DE number 17825 (Why is no real title available?)
• Reasoning Algebraically About P-Solvable Loops
• Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
• Deciding polynomial-transcendental problems
• A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
• Generating invariants for non-linear loops by linear algebraic methods

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411947)