Parallel bounded analysis in code with rich invariants by refinement of field bounds.

Nicols Rosner, Juan P. Galeotti, Santiago Bermdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemn, Marcelo F. Frias

Browse the full ISSTA paper archive.