Improving Scalability of Bounded Model Checking for Weak Memory Models

No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Perustieteiden korkeakoulu | Master's thesis
Author
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
Citation
Permanent link to this item
https://urn.fi/URN:NBN:fi:aalto-202001261885
Collections
[dipl] Perustieteiden korkeakoulu / SCI