| Title | An abstraction refinement approach combining precise and approximated techniques |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Sharygina, Natasha, Tonetta S., and Tsitovich A. |
| Journal | International Journal on Software Tools for Technology Transfer (STTT) |
| Volume | 14 |
| Pagination | 1-14 |
| Keywords | Approximated abstraction, CEGAR, Precise abstraction, Predicate abstraction |
| URL | http://dx.doi.org/10.1007/s10009-011-0185-y |
| Full Text |
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
