IFM   2010 International Conference on Integrated Formal Methods
Wall of Fame | Most Viewed IFM-2010 Paper
205views Formal Methods» more  IFM 2010»
10 years 4 months 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
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source205
2Download preprint from source204
3Download preprint from source203
4Download preprint from source190
5Download preprint from source183
6Download preprint from source159
7Download preprint from source152
8Download preprint from source152
9Download preprint from source147
10Download preprint from source142
11Download preprint from source133
12Download preprint from source132
13Download preprint from source124
14Download preprint from source113
15Download preprint from source111