DMCA

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis

by Assalé Adjé , Stéphane Gaubert , Eric Goubault
Citations:21 - 5 self