CPAchecker: A Tool for Configurable Software Verification

Dirk Beyer M. Erkan Keremoglu

Published in: CoRR (2009)

Keyphrases

user friendly
data sets
databases
social networks
multimedia
website
multiresolution
probability distribution
software tools