Töövahendi CoOpeRace loomine

Abstract

The 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.