Aligator

MaRDI QIDQ12802swMATHFDO

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

Described by source

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

Cited in

(19)

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

This page was built for software: Aligator