Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference.
| Autor: | Jung, Yungbum, Lee, Wonchan, Wang, Bow-Yaw, Yi, Kwangkuen |
|---|---|
| Zdroj: | Tools & Algorithms for the Construction & Analysis of Systems (9783642198342); 2011, p205-219, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|