Static Analysis
From MaRDI portal
Publication:5466567
DOI10.1007/b99688zbMath1104.68022OpenAlexW4291238798MaRDI QIDQ5466567
Enric Rodríguez-Carbonell, Deepak Kapur
Publication date: 24 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99688
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Recent advances in program verification through computer algebra ⋮ A quantifier-elimination based heuristic for automatically generating inductive assertions for programs ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ ⋮ Program verification: state of the art, problems, and results. I ⋮ Generating all polynomial invariants in simple loops ⋮ Constructing invariants for hybrid systems ⋮ Elimination Techniques for Program Analysis ⋮ O-Minimal Invariants for Discrete-Time Dynamical Systems
Uses Software
