Aligator

swMATH29MaRDI QIDQ12802FDOQ12802

Author name not available (Why is that?)

Official website: http://mtc.epfl.ch/software-tools/Aligator/

Described by source

• Aligator: A Mathematica Package for Invariant Generation (System Description)

Cited In (18)

• Invariant generation for multi-path loops with polynomial assignments
• Automated generation of non-linear loop invariants utilizing hypergeometric sequences
• Real World Verification
• Deciding properties of affine loops
• Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings
• Invariant and type inference for matrices
• JAMPACK
• LOOPUS
• Dependencies
• DynaMate
• fastZeil
• LogAnswer
• Aligator.jl
• hyper
• RISCErgoSum
• Invariant Generation for P-Solvable Loops with Assignments
• A complete invariant generation approach for P-solvable loops
• Reasoning Algebraically About P-Solvable Loops

This page was built for software: Aligator