The following pages link to Aligator (Q12802):
Displaying 9 items.
- Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings (Q951681) (← links)
- Invariant Generation for Multi-Path Loops with Polynomial Assignments (Q3296330) (← links)
- A Complete Invariant Generation Approach for P-solvable Loops (Q3402283) (← links)
- Invariant Generation for P-Solvable Loops with Assignments (Q3503653) (← links)
- (Q3590301) (← links)
- Invariant and Type Inference for Matrices (Q3656882) (← links)
- Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences (Q5119943) (← links)
- Real World Verification (Q5191121) (← links)
- Reasoning Algebraically About P-Solvable Loops (Q5458331) (← links)
