A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
SMACK software verification toolchain
2016
Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16
Tool prototyping is an essential step in developing novel software verification algorithms and techniques. However, implementing a verifier prototype that can handle real-world programs is a huge endeavor, which hinders researchers by forcing them to spend more time engineering tools, and less time innovating. In this paper, we present the SMACK software verification toolchain. The toolchain provides a modular and extensible software verification ecosystem that decouples the front-end source
doi:10.1145/2889160.2889163
dblp:conf/icse/CarterHWRE16
fatcat:6i63bykqqnfb5c4ex4jws66iua