Verification of Safety Critical Systems using Program Analysis and Model Checking

Andreas Engelbredt Dalsgaard

Research output: PhD thesis

Dissertation not published.

Access to Document

@misc{bd85e0f165c244bca3038ca2d07b3047,

title = "Verification of Safety Critical Systems using Program Analysis and Model Checking",

author = "Dalsgaard, {Andreas Engelbredt}",

note = "Dissertation not published.",

year = "2016",

doi = "10.5278/VBN.PHD.ENGSCI.00117",

language = "English",

series = "Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}