Aligator

swMATH29MaRDI QIDQ12802FDOQ12802

Author name not available (Why is that?)

Described by source

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

Cited In (9)

• 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
• 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