Search CORE

3 research outputs found

Abstract Dependency Graphs and Their Application to Model Checking

Author: A David
A Mader
A Mariegaard
A Tarski
AE Dalsgaard
AE Dalsgaard
AE Dalsgaard
F Cassez
HR Andersen
HR Andersen
JF Jensen
JF Jensen
JF Jensen
KG Larsen
R Mateescu
X Liu
X Liu
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2019
Field of study

Abstract Dependency Graphs for Model Verification

Author: Enevoldsen Søren
Publication venue: Aalborg University
Publication date: 01/01/2022
Field of study

Distributed computation of fixed points on dependency graphs

Author: Dalsgaard Andreas Engelbredt
Enevoldsen Søren
Larsen Kim Guldstrand
Srba Jiri
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2016
Field of study

core

core