Optimization techniques for craig interpolant compaction in unbounded model checking.
| Autor: | Cabodi, G., Loiacono, C., Vendraminetto, D. |
|---|---|
| Zdroj: | Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p1417-1422, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|