A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Difference Verification with Conditions
[chapter]
2020
Lecture Notes in Computer Science
Modern software-verification tools need to support development processes that involve frequent changes. Existing approaches for incremental verification hard-code specific verification techniques. Some of the approaches must be tightly intertwined with the development process. To solve this open problem, we present the concept of difference verification with conditions. Difference verification with conditions is independent from any specific verification technique and can be integrated in
doi:10.1007/978-3-030-58768-0_8
fatcat:atlkxquk5zah7kkddspqmboq3i