Travelled to:1 × Uruguay
Collaborated with:J.P.Galeotti D.Garbervetsky M.F.Frias
Talks about:dataflow (1) program (1) analysi (1) improv (1) verif (1) bound (1) base (1) sat (1)
Person: Bruno Cuervo Parrino
DBLP: Parrino:Bruno_Cuervo
Contributed to:
2011Wrote 1 papers:
- SEFM-2011-ParrinoGGF #analysis #bound #data flow #satisfiability #verification
- A Dataflow Analysis to Improve SAT-Based Bounded Program Verification (BCP, JPG, DG, MFF), pp. 138–154.