Term Rewriting Based On Set Automaton Matching

Autor: Bouwman, Mark, Erkens, Rick

In this article we investigate how a subterm pattern matching algorithm can be exploited to implement efficient term rewriting procedures. From the left-hand sides of the rewrite system we construct a set automaton, which can be used to find all rede

Externí odkaz: http://arxiv.org/abs/2202.08687

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

What is the point

Autor: Bouwman, Mark, van der Wal, Djurre, Luttik, Bas, Stoelinga, Mariëlle, Rensink, Arend, Baraldi, Piero, Di Maio, Francesco, Zio, Enrico

Publikováno v: Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, 921-928
STARTPAGE=921;ENDPAGE=928;TITLE=Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference

EULYNX is an EU-level collaboration between railway infrastructure managers to standardize signaling interfaces. The main goal of EULYNX is to provide, on an EU scale, a modular and flexible railroad architecture where components can easily be exchan

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e7f667d1542760c955d3a9b04f6dc2f
http://www.scopus.com/inward/record.url?scp=85107292800&partnerID=8YFLogxK

Formal modelling and verification of an interlocking using mCRL2

Autor: Bouwman, Mark, Janssen, Bob, Luttik, Bas, Larsen, Kim Guldstrand, Willemse, Tim

Publikováno v: Formal Methods for Industrial Critical Systems ISBN: 9783030270070
FMICS
Formal Methods for Industrial Critical Systems-24th International Conference, FMICS 2019, Proceedings, 22-39
STARTPAGE=22;ENDPAGE=39;TITLE=Formal Methods for Industrial Critical Systems-24th International Conference, FMICS 2019, Proceedings

This paper presents an application of the formal modelling and model checking toolkit mCRL2 and the model-based testing tool JTorX in the signalling domain. The mCRL2 toolkit is used to formally model the behaviour of a system at the core of signalli

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::478f512a1a0c76ef111d5698f3b98ff4
https://doi.org/10.1007/978-3-030-27008-7_2