Synthesizing Invariants by Solving Solvable Loops

DOI10.1007/978-3-319-68167-2_22zbMath1495.68130arXiv1611.07753OpenAlexW2549200807MaRDI QIDQ5096093

Saddek Bensalem, Steven de Oliveira, Virgile Prevosto

Publication date: 12 August 2022

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Termination of polynomial loops ⋮ Counterexample- and simulation-guided floating-point loop invariant synthesis

This page was built for publication: Synthesizing Invariants by Solving Solvable Loops