共 50 条
- [1] Modelling and Analysing Software in mCRL2 [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2019, 2020, 12018 : 25 - 48
- [2] Tutorial: Designing Distributed Software in mCRL2 [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2021, 2021, 12719 : 226 - 243
- [3] An Overview of the mCRL2 Modelling and Verification Toolset [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (338): : 1 - 1
- [4] Verification of networks of timed automata using mCRL2 [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3782 - 3789
- [5] Formal Modelling and Verification of an Interlocking Using mCRL2 [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2019, 2019, 11687 : 22 - 39
- [6] Formal verification of OIL component specifications using mCRL2 [J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 441 - 472
- [7] Formal Verification of OIL Component Specifications using mCRL2 [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2020, 2020, 12327 : 231 - 251
- [10] Formalising the Industrial Language SMMT in mCRL2 [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2024, 2024, 14952 : 63 - 79