Sirvi Autor "Matsiselts, Chris" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Verifitseerimistööriistade kombineerimine andmejooksude tõhusamaks avastamiseks
    (Tartu Ülikool, 2025) Matsiselts, Chris; Vojdani, Vesal, juhendaja; Holter, Karoliine, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
    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.