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