A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
A component-based approach to building formal analysis tools
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001
Automatic-verification capability tends to be packaged into stand-alone tools, as opposed to components that are easily integrated into a larger software-development environment. Such packaging complicates integration because it involves translating internal representations into a form compatible with the stand-alone tool. By contrast, lightweight-analysis components package analysis capability in a form that does not involve such a translation. Borrowing ideas from GenVoca and object-orienteddoi:10.1109/icse.2001.919091 dblp:conf/icse/StirewaltD01 fatcat:gdo6y6jpn5fxhmkwmrwckwn6ju