Verification of evolving software via component substitutability analysis
Informazioni aggiuntive
Autori
Chaki S.,
Clarke E. M.,
Sharygina N.,
Sinha N.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2008
Lingua
Inglese
Parole chiave
Compositional verification - Assume-guarantee reasoning - Automata learning - Predicate abstraction - Software engineering - Model checking
Periodico
Formal Methods in System Design
Volume
32
Numero ( Mese )
3
Pagine (o numero dell’articolo)
235-266
