Publications

Found 2 results

Export:[BibTex]

Filters: keyword is Predicate abstraction [Clear All Filters]

2012

An abstraction refinement approach combining precise and approximated techniques, Sharygina, N.; Tonetta, S.; Tsitovich, A. , International Journal on Software Tools for Technology Transfer (STTT), Volume 14, Issue 1, p.1-14, Springer (2012)
Download: stt11_draft.pdf

2008

Verification of evolving software via component substitutability analysis, Chaki, S.; Clarke, E.M.; Sharygina, N.; Sinha, N. , Formal Methods in System Design, Volume 32, Number 3, p.235-266 (2008)
Download: ChakiCSS08.pdf