Formal Modelling and Verification of an Interlocking Using mCRL2

No abstract is available for this paper.

• Publication year

  2019

• Venue

  International Workshop on Formal Methods for Industrial Critical Systems

• Publication date

  2019-08-30

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-030-27008-7_2
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability

  2019cited by this paper
• On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders

  2018cited by this paper
• Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset

  2018cited by this paper
• Adaptive Learning for Learn-Based Regression Testing

  2018cited by this paper
• Formalising the Dezyne Modelling Language in mCRL2

  2017cited by this paper
• Validation process for railway interlocking systems

  2016cited by this paper
• Model Checking and Model-Based Testing in the Railway Domain

  2015cited by this paper
• Techniques for modelling and verifying railway interlockings

  2014cited by this paper
• Modeling and Analysis of Communicating Systems

  2014cited by this paper
• Validation of Railway Interlocking Systems by Formal Verification, A Case Study

  2013cited by this paper
• Applied Bounded Model Checking for Interlocking System Designs

  2013cited by this paper
• Twenty-Five Years of Formal Methods and Railways: What Next?

  2013cited by this paper
• Automated Verification of Critical Systems ( AVoCS 2010 ) Automatically Verifying Railway Interlockings using SAT-based Model Checking

  2011cited by this paper
• JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

  2010cited by this paper
• Automated Verification of Executable UML Models

  2010cited by this paper
• Formal methods: Practice and experience

  2009cited by this paper
• Model Based Testing with Labelled Transition Systems

  2008cited by this paper
• Heuristics for ioco -Based Test-Based Modelling

  2006cited by this paper
• TorX: Automated Model Based Testing - Côte de Resyste

  2003cited by this paper
• The safety guaranteeing system at station Hoorn-Kersenboogerd

  1994cited by this paper
• Algebra of Communicating Processes with Abstraction

  1985cited by this paper

• A Survey on Formal Methods for Railway Interlockings: From Relays to Satellite-Based Moving Block Signaling

  2026cites this paper
• Automatic digitalization of railway interlocking systems engineering drawings based on hybrid machine learning methods

  2025cites this paper
• A Case in Point: Verification and Testing of a EULYNX Interface

  2022cites this paper
• Formal verification of OIL component specifications using mCRL2

  2022cites this paper
• Model Checking a Distributed Interlocking System Using k-induction with RT-Tester

  2020cites this paper
• Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

  2020cites this paper
• Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

  2020cites this paper
• Modelling and Analysing Software in mCRL2

  2019cites this paper
• A Case in Point

  year unknowncites this paper