Ivannikov Institute for System Programming of the RAS

Distributing Verification Tasks with VerifierCloud

Peter Häring. Starts at June 21, 2013.

Software verification of real-world programs is still a time- and resource-consuming process, dependent on sophisticated tools that often require expert knowledge. We present VerifierCloud, a job distribution tool that allows optimal hardware utilization. It is integrated with the CPAchecker framework and can be used to run competitive benchmarks. A web front-end for registration-based software verification is under development to make verification technology more accessible for non-experts.