Verification of evolving software via component substitutability analysis
Additional information
Authors
Chaki S.,
Clarke E. M.,
Sharygina N.,
Sinha N.
Type
Journal Article
Year
2008
Language
English
Keywords
Compositional verification - Assume-guarantee reasoning - Automata learning - Predicate abstraction - Software engineering - Model checking
Journal
Formal Methods in System Design
Volume
32
Number ( Month )
3
Pages (or article number)
235-266
