Learning Centre

Improving Scalability of Bounded Model Checking for Weak Memory Models

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.advisor Heljanko, Keijo
dc.contributor.author Gavrilenko, Natalia
dc.date.accessioned 2020-01-26T18:11:49Z
dc.date.available 2020-01-26T18:11:49Z
dc.date.issued 2020-01-20
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/42775
dc.format.extent 85
dc.language.iso en en
dc.title Improving Scalability of Bounded Model Checking for Weak Memory Models en
dc.type G2 Pro gradu, diplomityö fi
dc.contributor.school Perustieteiden korkeakoulu fi
dc.subject.keyword relation analysis en
dc.subject.keyword memory models en
dc.subject.keyword shared-memory concurrency en
dc.subject.keyword bounded model checking en
dc.subject.keyword software verification en
dc.identifier.urn URN:NBN:fi:aalto-202001261885
dc.programme.major Computer Science fi
dc.programme.mcode SCI3042 fi
dc.type.ontasot Master's thesis en
dc.type.ontasot Diplomityö fi
dc.contributor.supervisor Junttila, Tommi
dc.programme Master’s Programme in Computer, Communication and Information Sciences fi
local.aalto.electroniconly yes
local.aalto.openaccess no


Files in this item

Files Size Format View

There are no open access files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search archive


Advanced Search

article-iconSubmit a publication

Browse