Learning Invariants using Decision Trees
CPAchecker: A Tool for Configurable Software Verification