Paper accepted for presentation at FMICS 2022

The paper Formal verification of an industrial UML-like model using mCRL2, by Anna Stramaglia and Jeroen Keiren, has been accepted for the CONFEST 2022 conference FMICS. The paper describes the translation of low-code models developed in the Cordis SUITE to mCRL2, and the verification of such models. In particular, the paper uses the model of a pneumatic cylinder as a running example. The paper illustrates that verification using mCRL2 is effective in finding bugs in the models (from which code is generated) as well as the code generation (fixing oversights in the translation of Cordis models to PLC code). A preprint of the paper is available on arXiv.