High Performance software verification on GPU cluster: Distributed GPU Model Checking

Onderzoeksoutput: Scriptie › EngD Thesis

Originele taal-2	Engels
Begeleider(s)/adviseur	Wijs, Anton J., Begeleider Dajsuren, Yanja, Begeleider
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Status	Gepubliceerd - 2025

EngD thesis. - Confidential.

Citeer dit

@phdthesis{5f1cfe2b2e3e44bc99597529489e2958,

title = "High Performance software verification on GPU cluster: Distributed GPU Model Checking",

author = "Ziang Chen",

note = "EngD thesis. - Confidential.",

year = "2025",

language = "English",

series = "EngD Thesis",

publisher = "Technische Universiteit Eindhoven",

type = "EngD Thesis",

}