Vojdani, Vesal, juhendajaHaavasalu, EppTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2024-10-042024-10-042024https://hdl.handle.net/10062/105155The objective of this Bachelor’s thesis is to create CoOpeRace, a tool that combines the principles of cooperative verification with identifying data races. This work gives an overview of the concepts of data races and cooperative verification, describes the three analyzers used in the created tool - Goblin, Locksmith and Relay - and introduces the usage of CoOpeRace.etAttribution-NonCommercial-NoDerivs 3.0 Estoniahttp://creativecommons.org/licenses/by-nc-nd/3.0/ee/Staatiline analüüsverifikatsioonikoostööandmejooksGoblintLocksmithRelayStatic analysiscooperative verificationdata racebakalaureusetöödinformaatikainfotehnoloogiainformaticsinfotechnologyThesis