TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.
Saved in:
| Title: | TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. |
|---|---|
| Authors: | Galeotti, Juan P.1, Rosner, Nicolas2, Lopez Pombo, Carlos G.1, Frias, Marcelo F.3 |
| Source: | IEEE Transactions on Software Engineering; Sep2013, Vol. 39 Issue 9, p1283-1307, 25p, 1 Color Photograph, 18 Black and White Photographs, 5 Diagrams, 10 Charts, 7 Graphs |
| Database: | Applied Science & Technology Source |
| ISSN: | 00985589 |
|---|---|
| DOI: | 10.1109/TSE.2013.15 |
