Bruno Cuervo Parrino

According to our database, Bruno Cuervo Parrino authored at least 2 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

TacoFlow: optimizing SAT program verification using dataflow analysis.

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

Softw. Syst. Model., 2015

2011

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

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

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011