Thread analysis in Goblint
Name
Raivo Laanemets
Abstract
Static analysis of thread creation/join structure in C-programs.
Graduation Thesis language
Estonian
Graduation Thesis type
Master - Computer Science
Supervisor(s)
Varmo Vene, Vesal Vojdani, Kalmer Apinis
Defence year
2011