Algebra-Based Reasoning for Loop Synthesis

DOI10.1145/3527458zbMath1522.68155arXiv2206.11495OpenAlexW4226069598MaRDI QIDQ6177467

Laura Kovács, Nikolaj Bjørner, Andreas Humenberger, Daneshvar Amrollahi

Publication date: 31 August 2023

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2206.11495

zbMATH Keywords

symbolic computationlinear recurrencesprogram synthesisSMT solvingloop invariants

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Algebra-Based Loop Analysis ⋮ From Polynomial Invariants to Linear Loops

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