A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Approximating the safely reusable set of learned facts
2009
International Journal on Software Tools for Technology Transfer (STTT)
Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depend on complex interprocedural flow of data. An obvious approach to improve performance is to exploit software structure. Although a tremendous amount of work has been done on exploiting structure at various levels of granularity, the finegrained shared structure among multiple verification conditions has been largely ignored. In this
doi:10.1007/s10009-009-0117-2
fatcat:od2zbd3oo5fc7irdskvmbr4rua