Distributing Verification Tasks with VerifierCloud

Distributing Verification Tasks with VerifierCloud

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.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН