Sciweavers

Share
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
9 years 14 days ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
books