An abstraction refinement approach combining precise and approximated techniques
Additional information
Authors
Sharygina N.,
Tonetta S.,
Tsitovich A.
Type
Journal Article
Year
2012
Language
English
Keywords
Approximated abstraction, CEGAR, Precise abstraction, Predicate abstraction
Journal
International Journal on Software Tools for Technology Transfer (STTT)
Volume
14
Pages (or article number)
1-14
