Töövahendi CoOpeRace loomine

dc.contributor.advisor	Vojdani, Vesal, juhendaja
dc.contributor.author	Haavasalu, Epp
dc.contributor.other	Tartu Ülikool. Loodus- ja täppisteaduste valdkond	et
dc.contributor.other	Tartu Ülikool. Arvutiteaduse instituut	et
dc.date.accessioned	2024-10-04T11:04:51Z
dc.date.available	2024-10-04T11:04:51Z
dc.date.issued	2024
dc.description.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.
dc.identifier.uri	https://hdl.handle.net/10062/105155
dc.language.iso	et
dc.publisher	Tartu Ülikool	et
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Estonia	en
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/ee/
dc.subject	Staatiline analüüs
dc.subject	verifikatsioonikoostöö
dc.subject	andmejooks
dc.subject	Goblint
dc.subject	Locksmith
dc.subject	Relay
dc.subject	Static analysis
dc.subject	cooperative verification
dc.subject	data race
dc.subject.other	bakalaureusetööd	et
dc.subject.other	informaatika	et
dc.subject.other	infotehnoloogia	et
dc.subject.other	informatics	en
dc.subject.other	infotechnology	en
dc.title	Töövahendi CoOpeRace loomine
dc.type	Thesis

Failid

Nüüd näidatakse 1 - 1 1