Aligator.jl -- a Julia package for loop invariant generation
From MaRDI portal
Publication:1798956
DOI10.1007/978-3-319-96812-4_10zbMath1417.68293arXiv1808.05394OpenAlexW2883029908MaRDI QIDQ1798956
Andreas Humenberger, Laura Kovács, Maximilian Jaroschek
Publication date: 18 October 2018
Full work available at URL: https://arxiv.org/abs/1808.05394
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items (5)
Algebra-Based Loop Analysis ⋮ Solving invariant generation for unsolvable loops ⋮ Symbolic computation in automated program reasoning ⋮ Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops ⋮ Algebra-based synthesis of loops and their invariants (invited paper)
Uses Software
This page was built for publication: Aligator.jl -- a Julia package for loop invariant generation