2 papers
eess.SY2022
Formal verification of an industrial UML-like model using mCRL2 (extended version)
Anna Stramaglia, Jeroen J. A. Keiren
Low-code development platforms are gaining popularity. Essentially, such platforms allow to shift from coding to graphical modeling, helping to improve quality and reduce developme…
cs.LO2016
Parity Game Reductions
S. Cranen, J. J. A. Keiren, T. A. C. Willemse
Parity games play a central role in model checking and satisfiability checking. Solving parity games is computationally expensive, among others due to the size of the games, which,…