Abstract Dependency Graphs for Model Verification

Søren Enevoldsen

doi:10.54337/aau510736584

Abstract Dependency Graphs for Model Verification

Research output: PhD thesis

260 Downloads (Pure)

Original language	English
Supervisors	Larsen, Kim Guldstrand, Principal supervisor Srba, Jiri, Co-supervisor Skou, Arne, Co-supervisor
Publisher	Aalborg Universitetsforlag
Electronic ISBNs	978-87-7573-849-6
DOIs	https://doi.org/10.54337/aau510736584
Publication status	Published - 2022

Bibliographical note

PhD supervisor: Professor Kim Guldstrand Larsen, Aalborg University, Denmark
Assistant PhD supervisors: Professor Jiri Srba, Aalborg University, Denmark
Associate Professor Arne Skou, Aalborg University, Denmark

Access to Document

10.54337/aau510736584

PHD_SEFinal published version, 2.35 MB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@misc{75c0e5cdcb0e460c9821844b4b2a9d29,

title = "Abstract Dependency Graphs for Model Verification",

keywords = "dependency graphs, abstract dependency graphs, model checking, equivalence checking, formal verification, bisimulation, ctl",

author = "S{\o}ren Enevoldsen",

note = "PhD supervisor: Professor Kim Guldstrand Larsen, Aalborg University, Denmark Assistant PhD supervisors: Professor Jiri Srba, Aalborg University, Denmark Associate Professor Arne Skou, Aalborg University, Denmark",

year = "2022",

doi = "10.54337/aau510736584",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}

TY - GEN

T1 - Abstract Dependency Graphs for Model Verification

AU - Enevoldsen, Søren

N1 - PhD supervisor: Professor Kim Guldstrand Larsen, Aalborg University, Denmark Assistant PhD supervisors: Professor Jiri Srba, Aalborg University, Denmark Associate Professor Arne Skou, Aalborg University, Denmark

PY - 2022

Y1 - 2022

KW - dependency graphs

KW - abstract dependency graphs

KW - model checking

KW - equivalence checking

KW - formal verification

KW - bisimulation

KW - ctl

U2 - 10.54337/aau510736584

DO - 10.54337/aau510736584

M3 - PhD thesis

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

PB - Aalborg Universitetsforlag

ER -