A dataflow analysis to improve SAT-based program verification

SEFM 2011: Software Engineering and Formal Methods, page 138--153 - 2011
Download the publication : sefm2011.pdf [449Ko]  

BibTex references

@InProceedings\{CGGF11,
  author       = "Cuervo Parrino, Bruno and Galeotti, Juan Pablo and Garbervetsky, Diego and Frias, Marcelo",
  title        = "A dataflow analysis to improve SAT-based program verification",
  booktitle    = "SEFM 2011: Software Engineering and Formal Methods",
  pages        = "138--153",
  year         = "2011",
  publisher    = "Springer",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/CGGF11"
}

Other publications in the database

» Bruno Cuervo Parrino
» Juan Pablo Galeotti
» Diego Garbervetsky
» Marcelo Frias