Publications

Found 1 results
Export:[BibTex]
Filters: keyword is Compositional verification - Assume-guarantee reasoning - Automata learning - Predicate abstraction - Software engineering - Model checking  [Clear All Filters]
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