A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.

Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias

Browse the full SEFM paper archive.