An abstraction refinement approach combining precise and approximated techniques
Informazioni aggiuntive
Autori
Sharygina N.,
Tonetta S.,
Tsitovich A.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2012
Lingua
Inglese
Parole chiave
Approximated abstraction, CEGAR, Precise abstraction, Predicate abstraction
Periodico
International Journal on Software Tools for Technology Transfer (STTT)
Volume
14
Pagine (o numero dell’articolo)
1-14
