Challenges in Comparing Software Verification Tools for C
-
Author:
Florian Merz, Carsten Sinz, Stephan Falke
-
Source:
In Proc. of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012.