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
.
Foundations of incremental aspect model-checking
2007
ACM Transactions on Software Engineering and Methodology
Programs are increasingly organized around features, which are encapsulated using aspects and other linguistic mechanisms. Despite their growing popularity amongst developers, there is a dearth of techniques for computer-aided verification of programs that employ these mechanisms. We present the theoretical underpinnings for applying modelchecking to programs (expressed as state machines) written using these mechanisms. The analysis is incremental, examining only components that change rather
doi:10.1145/1217295.1217296
fatcat:lbsz4gut6vdsbc4wdaqjpzhnii