An abstraction refinement approach combining precise and approximated techniques

TitleAn abstraction refinement approach combining precise and approximated techniques
Publication TypeJournal Article
Year of Publication2012
AuthorsSharygina, Natasha, Tonetta S., and Tsitovich A.
JournalInternational Journal on Software Tools for Technology Transfer (STTT)
Volume14
Pagination1-14
KeywordsApproximated abstraction, CEGAR, Precise abstraction, Predicate abstraction
URLhttp://dx.doi.org/10.1007/s10009-011-0185-y
Full Text