Abstract Dependency Graphs for Model Verification

Publikation: Ph.d.-afhandling

149 Downloads (Pure)
OriginalsprogEngelsk
Vejledere
  • Larsen, Kim Guldstrand, Hovedvejleder
  • Srba, Jiri, Bivejleder
  • Skou, Arne, Bivejleder
Udgiver
ISBN'er, elektronisk978-87-7573-849-6
DOI
StatusUdgivet - 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

Citationsformater