A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Component Verification with Automatically Generated Assumptions
2005
Automated Software Engineering : An International Journal
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying properties of software components is to check them for all possible environments. In reality, however, a component is only required to satisfy properties in specific environments. Unless these environments are formally characterized and used during verification (assume-guarantee paradigm), the results returned by verification can be
doi:10.1007/s10515-005-2641-y
fatcat:c3eux6ifs5bipccdhpz5bxanm4