Improving Scalability of Bounded Model Checking for Weak Memory Models
No Thumbnail Available
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, TommiThesis advisor
Heljanko, KeijoKeywords
relation analysis, memory models, shared-memory concurrency, bounded model checking, software verification