A policy iteration algorithm for computing fixed points in tatic analysis of programs (2005)

by A Costan, S Gaubert, E Goubault, M Martel, S Putot
Venue:In K. Etessami and S.K. Rajamani, editors, Computer Aided Verification, volume 3576 of LNCS