Improving Scalability of Bounded Model Checking for Weak Memory Models

Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Perustieteiden korkeakoulu | Master's thesis

Authors

Date

2020-01-20

Department

Major/Subject

Computer Science

Mcode

SCI3042

Degree programme

Master’s Programme in Computer, Communication and Information Sciences

Language

en

Pages

85

Series

Description

Supervisor

Junttila, Tommi

Thesis advisor

Heljanko, Keijo

Keywords

relation analysis, memory models, shared-memory concurrency, bounded model checking, software verification

Other note

Citation

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-202001261885

Collections

[dipl] Perustieteiden korkeakoulu / SCI