Algebra-Based Loop Synthesis

DOI10.1007/978-3-030-63461-2_24MaRDI QIDQ6487938zbMATH OpenFDO

Authors Andreas Humenberger, Nikolaj Bjørner, Laura Kovács

Publication date 21 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-63461-2_24

Mathematics Subject Classification ID

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

Recommendations

• Algebra-Based Reasoning for Loop Synthesis
• Algebra-based synthesis of loops and their invariants (invited paper)
• Automatic Generation of Polynomial Loop Invariants
• Deciding properties of affine loops
• Polynomial invariants by linear algebra

Cited in

(3)

• Algebra-based synthesis of loops and their invariants (invited paper)
• Algebra-Based Loop Analysis
• Algebra-Based Reasoning for Loop Synthesis

This page was built for publication: Algebra-Based Loop Synthesis

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