The following pages link to The synthesis of loop predicates (Q5180828):
Displaying 11 items.
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- Efficient symbolic analysis of programs (Q1082800) (← links)
- A near-optimal method for reasoning about action (Q1134756) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- Aligator: A Mathematica Package for Invariant Generation (System Description) (Q3541707) (← links)
- Synthesis of the programmed functions offor loops on data structures (Q3804172) (← links)
- Elimination Techniques for Program Analysis (Q4916078) (← links)
- Reasoning Algebraically About P-Solvable Loops (Q5458331) (← links)
