Bruno Cuervo Parrino

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Quantitative Analysis

Search Algorithm

Top Venues

Softw. Syst. Model.

Publications

Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias
TacoFlow: optimizing SAT program verification using dataflow analysis. Softw. Syst. Model. 14 (1) (2015)
Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. SEFM (2011)