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)

• Title not available (Why is that?)
• Real World Verification
• Invariant Generation for Multi-Path Loops with Polynomial Assignments
• 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
• Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
• A complete invariant generation approach for P-solvable loops
• Reasoning Algebraically About P-Solvable Loops

This page was built for software: Aligator