Optimal Abstraction on Real-Valued Programs

DOI10.1007/978-3-540-74061-2_7MaRDI QIDQ3611997zbMATH OpenOpenAlexFDO

Authors David Monniaux

Publication date 3 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74061-2_7

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1118872
• Program synthesis using realizability
• scientific article; zbMATH DE number 3995030
• Deciding program properties via complete abstractions on bounded domains
• Calculus of equivalences of abstract programs
• Predicate Abstraction of Programs with Non-linear Computation
• Program extraction in exact real arithmetic
• Abstraction in fixpoint logic
• Approximation of abstract semantics by formal models of programs
• scientific article; zbMATH DE number 3938540

Cited in

(1)

• A minimalistic look at widening operators

This page was built for publication: Optimal Abstraction on Real-Valued Programs

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