The following pages link to (Q3033332):
Displaying 6 items.
- Generalizations of algorithms that find invariant relationships in programs over algebra of terms (Q1364103) (← links)
- Heuristic search for invariants for one class of programs. 6 (Q1974332) (← links)
- (Q3217582) (← links)
- Algorithm to find invariant linear inequality constraints in programs (Q3741026) (← links)
- Invariant inequalities in programs interpreted over an ordered field (Q3777432) (← links)
- (Q4029607) (← links)