Aligator

swMATH29MaRDI QIDQ12802

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
• A Complete Invariant Generation Approach for P-solvable Loops
• 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 Generation for P-Solvable Loops with Assignments
• Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
• Invariant and Type Inference for Matrices
• Reasoning Algebraically About P-Solvable Loops

This page was built for software: Aligator