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.NI2021
Deadlock in packet switching networks
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
A deadlock in a packet switching network is a state in which one or more messages have not yet reached their target, yet cannot progress any further. We formalize three different n…