Johannes Dyck
Hat mitgewirkt an:
-
k-Inductive invariant checking for graph transformation systems
-
Inductive invariant checking with partial negative application conditions
-
Verification of graph transformation systems with k-inductive invariants
-
Automatic verification of behavior preservation at the transformation level for relational model transformation