Pages that link to "Item:Q5170174"
From MaRDI portal
The following pages link to Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174):
Displayed 4 items.
- Efficient constraint/generator removal from double description of polyhedra (Q281283) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- An iterative approach to precondition inference using constrained Horn clauses (Q4559813) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)