The following pages link to The octagon abstract domain (Q853733):
Displaying 4 items.
- The octagon abstract domain (Q853733) (← links)
- A polynomial time algorithm for read-once certification of linear infeasibility in UTVPI constraints (Q2415363) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- An iterative approach to precondition inference using constrained Horn clauses (Q4559813) (← links)
