Aligator.jl – A Julia Package for Loop Invariant Generation
- 18 July 2018
- book chapter
- Published by Springer Nature
- p. 111-117
Abstract
No abstract availableKeywords
All Related Versions
This publication has 4 references indexed in Scilit:
- Invariant Generation for Multi-Path Loops with Polynomial Assignments2017
- SymPy: symbolic computing in PythonPeerJ Computer Science, 2017
- Aligator: A Mathematica Package for Invariant Generation (System Description)2008
- Generating all polynomial invariants in simple loopsJournal of Symbolic Computation, 2007