The following pages link to The synthesis of loop predicates (Q5180828):
Displaying 7 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)
