Abstract Dependency Graphs for Model Verification

Søren Enevoldsen

doi:10.54337/aau510736584

Abstract Dependency Graphs for Model Verification

Publikation: Ph.d.-afhandling

161 Downloads (Pure)

Originalsprog	Engelsk
Vejledere	Larsen, Kim Guldstrand, Hovedvejleder Srba, Jiri, Bivejleder Skou, Arne, Bivejleder
Udgiver	Aalborg Universitetsforlag
ISBN'er, elektronisk	978-87-7573-849-6
DOI	https://doi.org/10.54337/aau510736584
Status	Udgivet - 2022

Bibliografisk 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

Emneord

dependency graphs
abstract dependency graphs
model checking
equivalence checking
formal verification
bisimulation
ctl

Adgang til dokumentet

10.54337/aau510736584

PHD_SEForlagets udgivne version, 2,35 MB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 -