Abstraction Refinement of Linear Programs with Arrays.

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani

Browse the full TACAS paper archive.