Static Analysis
From MaRDI portal
Publication:5466568
DOI10.1007/b99688zbMath1104.68017OpenAlexW4291238798MaRDI QIDQ5466568
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) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Change-of-bases abstractions for non-linear hybrid systems ⋮ Generating all polynomial invariants in simple loops ⋮ Constructing invariants for hybrid systems ⋮ Elimination Techniques for Program Analysis
