InterpChecker: Reducing State Space via Interpolations - (Competition Contribution)

Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong

Abstract: InterpChecker is a tool for verifying safety properties of C programs. It reduces the state space of programs throughout the verification via two new kinds of interpolations and associated optimization strategies. The implementation builds on the open-source, configurable software verification tool, CPAChecker.