Improving Scalability of Bounded Model Checking for Weak Memory Models

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorHeljanko, Keijo
dc.contributor.authorGavrilenko, Natalia
dc.contributor.schoolPerustieteiden korkeakoulufi
dc.contributor.supervisorJunttila, Tommi
dc.date.accessioned2020-01-26T18:11:49Z
dc.date.available2020-01-26T18:11:49Z
dc.date.issued2020-01-20
dc.format.extent85
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/42775
dc.identifier.urnURN:NBN:fi:aalto-202001261885
dc.language.isoenen
dc.programmeMaster’s Programme in Computer, Communication and Information Sciencesfi
dc.programme.majorComputer Sciencefi
dc.programme.mcodeSCI3042fi
dc.subject.keywordrelation analysisen
dc.subject.keywordmemory modelsen
dc.subject.keywordshared-memory concurrencyen
dc.subject.keywordbounded model checkingen
dc.subject.keywordsoftware verificationen
dc.titleImproving Scalability of Bounded Model Checking for Weak Memory Modelsen
dc.typeG2 Pro gradu, diplomityöfi
dc.type.ontasotMaster's thesisen
dc.type.ontasotDiplomityöfi
local.aalto.electroniconlyyes
local.aalto.openaccessno

Files

Collections

[dipl] Perustieteiden korkeakoulu / SCI