Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences (Q5119943)
From MaRDI portal
scientific article; zbMATH DE number 7245233
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences |
scientific article; zbMATH DE number 7245233 |
Statements
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences (English)
0 references
9 September 2020
0 references
hypergeometric sequences
0 references
loop invariants
0 references
program analysis
0 references
recurrence relations
0 references
