Verifitseerimistööriistade kombineerimine andmejooksude tõhusamaks avastamiseks

Abstract

The purpose of this Bachelor’s thesis is to create a tool, CoOpeRace CLI, that utilizes the principles of verification cooperation to combine existing verification tools into a single meta-verifier and to find the best configuration of available verification tools for detecting data races. The work provides an overview of software verification, the SV-COMP competition, and the CoOpeRace project. Additionally, the tools developed during the work and the results of experiments conducted using the CoOpeRace CLI are presented.

Töö eesmärkideks on luua töövahend CoOpeRace CLI, mis kasutab verifitseerimiskoostöö põhimõtteid, et kombineerida olemasolevaid verifitseerimistööriistu ühes metaverifitseerijas ning leida parim konfiguratsioon olemasolevatest verifitseerimistööriistadest andmejooksude avastamiseks. Töös antakse ülevaade tarkvara verifitseerimisest, SV-COMP võistlusest ning CoOpeRace projektist. Lisaks tutvustatakse töö käigus loodud tööriistu ning CoOpeRace CLI abil tehtud katsete tulemusi.