A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Model checking and abstraction
1994
ACM Transactions on Programming Languages and Systems
We descrlbc a method for u smg abstraction to reduce the complexity of temporal-loglc model checking Using techniques similar to those involved in abstract interpretation, we construct an abstract model of a program without ever exammmg the corresponding' unabstracted model. We show how this abstract model can be used to verify properties of the orgmal program.
doi:10.1145/186025.186051
fatcat:xt4zhs6ts5chdkhsytzsls766e