Polynomial invariants by linear algebra

DOI10.1007/978-3-319-46520-3_30zbMath1398.68099arXiv1611.07726OpenAlexW2522017073MaRDI QIDQ1990524

Virgile Prevosto, Steven de Oliveira, Saddek Bensalem

Publication date: 25 October 2018

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

Mathematics Subject Classification ID

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

Related Items (5)

Solving Program Sketches with Large Integer Values ⋮ From Polynomial Invariants to Linear Loops ⋮ Solving invariant generation for unsolvable loops ⋮ Termination of polynomial loops ⋮ Algebra-based synthesis of loops and their invariants (invited paper)

This page was built for publication: Polynomial invariants by linear algebra