![](/img/cover-not-exists.png)
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
Galeotti, Juan P., Rosner, Nicolas, Lopez Pombo, Carlos G., Frias, Marcelo F.Volume:
39
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/tse.2013.15
Date:
September, 2013
File:
PDF, 3.72 MB
english, 2013