TacoFlow: optimizing {SAT} program verification using dataflow analysis
| Title | TacoFlow: optimizing {SAT} program verification using dataflow analysis |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Parrino, BC, Galeotti, JP, Garbervetsky, D, Frias, MF |
| Journal | Software and System Modeling |
| Volume | 14 |
| Pagination | 45–63 |
| URL | http://dx.doi.org/10.1007/s10270-014-0401-9 |
| DOI | 10.1007/s10270-014-0401-9 |
Work Package:
WP2
