An Overview of the mCRL2 Modelling and Verification Toolset

被引：0
|
作者：
Groote, Jan Friso [1 ]
机构：
[1] Eindhoven Univ Technol, Eindhoven, Netherlands
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 338期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] An Overview of the mCRL2 Toolset and Its Recent Advances
    Cranen, Sjoerd
    Groote, Jan Friso
    Keiren, Jeroen J. A.
    Stappers, Frank P. M.
    de Vink, Erik P.
    Wesselink, Wieger
    Willemse, Tim A. C.
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 199 - 213
  • [2] Experiences in developing the mCRL2 toolset
    Groote, J. F.
    Keiren, J. J. A.
    Stappers, F. P. M.
    Wesselink, J. W.
    Willemse, T. A. C.
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (02): : 143 - 153
  • [3] Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset
    Bartholomeus, Maarten
    Luttik, Bas
    Willemse, Tim
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2018, 2018, 11119 : 98 - 114
  • [4] Formal Modelling and Verification of an Interlocking Using mCRL2
    Bouwman, Mark
    Janssen, Bob
    Luttik, Bas
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2019, 2019, 11687 : 22 - 39
  • [5] Modelling and Analysing Software in mCRL2
    Groote, Jan Friso
    Keiren, Jeroen J. A.
    Luttik, Bas
    de Vink, Erik P.
    Willemse, Tim A. C.
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2019, 2020, 12018 : 25 - 48
  • [6] Verification of networks of timed automata using mCRL2
    Groote, Jan Friso
    Reniers, Michel A.
    Usenko, Yaroslav S.
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3782 - 3789
  • [7] The mCRL2 Toolset for Analysing Concurrent Systems Improvements in Expressivity and Usability
    Bunte, Olav
    Groote, Jan Friso
    Keiren, Jeroen J. A.
    Laveaux, Maurice
    Neele, Thomas
    de Vink, Erik P.
    Wesselink, Wieger
    Wijs, Anton
    Willemse, Tim A. C.
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, 2019, 11428 : 21 - 39
  • [8] Formalising the Dezyne Modelling Language in mCRL2
    van Beusekom, Rutger
    Groote, Jan Friso
    Hoogendijk, Paul
    Howe, Robert
    Wesselink, Wieger
    Wieringa, Rob
    Willemse, Tim A. C.
    [J]. CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 217 - 233
  • [9] Formal verification of OIL component specifications using mCRL2
    Olav Bunte
    Louis C. M. van Gool
    Tim A. C. Willemse
    [J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 441 - 472
  • [10] Towards Modular Verification of Software Product Lines with mCRL2
    ter Beek, Maurice H.
    de Vink, Erik P.
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 368 - 385
12345