CPAchecker: A tool for configurable software verification
Dirk Beyer, M. Erkan Keremoglu[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011, Snowbird, UT, July 14-20)
LNCS 6806
Springer-Verlag, Heidelberg
Pages 184-190
2011
Note(s): model checking, SV competition, extended static checking, CPAchecker verifier
Papers: beyer:ijsttt:2007
LNCS 6806
Springer-Verlag, Heidelberg
Pages 184-190
2011
Note(s): model checking, SV competition, extended static checking, CPAchecker verifier
Papers: beyer:ijsttt:2007