A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Effectively Combining Software Verification Strategies: Understanding Different Assumptions
2006
Proceedings - International Symposium on Software Reliability Engineering
In this paper we describe an experiment in which inconsistent results between two tools for testing formal models (and a third used to determine which of the two was correct) led us to a more careful look at the assumptions involved in the use of each tool and a clearer understanding of the results of each. For the experiment, we created error-seeded versions of an SCR specification representing a real-world personnel access control system. We checked them first using the model checker SPIN and
doi:10.1109/issre.2006.24
dblp:conf/issre/OwenDC06
fatcat:2vurgcflcfdzdceg6kow242vwq