Töövahendi CoOpeRace loomine
Nimi
Epp Haavasalu
Kokkuvõte
Bakalaureusetöö eesmärk on luua töövahend CoOpeRace, mis ühendab verifitseerimiskoostöö põhimõtted andmejooksude tuvastamisega. Töös antakse ülevaade andmejooksu ja koostööverifitseerimise mõistetest, kirjeldatakse loodud töövahendis kasutatud kolme analüsaatorit Goblint, Locksmith ja Relay ning tutvustatakse CoOpeRace’ kasutamist.
Lõputöö keel
eesti
Lõputöö tüüp
Bakalaureus - Informaatika
Juhendaja(d)
Vesal Vojdani
Kaitsmise aasta
2024