TY - GEN
T1 - Wolverine
T2 - 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012
AU - Weissenbacher, Georg
AU - Kroening, Daniel
AU - Malik, Sharad
N1 - Copyright:
Copyright 2012 Elsevier B.V., All rights reserved.
PY - 2012
Y1 - 2012
N2 - Wolverine is a software verifier that checks safety properties of sequential ANSI-C and C++ programs, deploying Craig interpolation to derive program invariants. We describe the underlying approach and the architecture, and provide instructions for installation and usage.
AB - Wolverine is a software verifier that checks safety properties of sequential ANSI-C and C++ programs, deploying Craig interpolation to derive program invariants. We describe the underlying approach and the architecture, and provide instructions for installation and usage.
UR - http://www.scopus.com/inward/record.url?scp=84859314683&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84859314683&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-28756-5_48
DO - 10.1007/978-3-642-28756-5_48
M3 - Conference contribution
AN - SCOPUS:84859314683
SN - 9783642287558
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 556
EP - 558
BT - Tools and Algorithms for the Construction and Analysis of Systems - 18th Int. Conf., TACAS 2012, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2012, Proceedings
Y2 - 24 March 2012 through 1 April 2012
ER -