Töövahendi CoOpeRace loomine

dc.contributor.advisorVojdani, Vesal, juhendaja
dc.contributor.authorHaavasalu, Epp
dc.contributor.otherTartu Ülikool. Loodus- ja täppisteaduste valdkondet
dc.contributor.otherTartu Ülikool. Arvutiteaduse instituutet
dc.date.accessioned2024-10-04T11:04:51Z
dc.date.available2024-10-04T11:04:51Z
dc.date.issued2024
dc.description.abstractThe 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.urihttps://hdl.handle.net/10062/105155
dc.language.isoet
dc.publisherTartu Ülikoolet
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Estoniaen
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/ee/
dc.subjectStaatiline analüüs
dc.subjectverifikatsioonikoostöö
dc.subjectandmejooks
dc.subjectGoblint
dc.subjectLocksmith
dc.subjectRelay
dc.subjectStatic analysis
dc.subjectcooperative verification
dc.subjectdata race
dc.subject.otherbakalaureusetöödet
dc.subject.otherinformaatikaet
dc.subject.otherinfotehnoloogiaet
dc.subject.otherinformaticsen
dc.subject.otherinfotechnologyen
dc.titleTöövahendi CoOpeRace loomine
dc.typeThesis

Failid

Originaal pakett

Nüüd näidatakse 1 - 1 1
Laen...
Pisipilt
Nimi:
Haavasalu_informaatika_2024.pdf
Suurus:
494.56 KB
Formaat:
Adobe Portable Document Format