Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

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