Distributed Bounded Model Checking

Prantik Chatterjee, Subhajit Roy, Bui Phi Diep +1

Program verification is a resource-hungry task. This paper looks at the problem of parallelizing SMT-based automated program verification, specifically bounded model-checking, so t…