Using model checking for interlocking software verification

Antti Pakonen, Juha Turunen

Research output: Contribution to journalArticleProfessional

49 Downloads (Pure)

Abstract

The application of different verification methods is a prominent part of the development process for safety related systems. Some methods are suitable for the early lifecycle phases, while others are best used later. In the end, the most significant thing is that all the lifecycle phases can be verified in a sufficient manner and using the method best suited for the purpose. At Mipro, we have found that formal verification increases diversity in order to achieve the best possible verification results and improve the quality and safety of the deliveries.
Original languageEnglish
Pages (from-to)41-47
JournalSIGNAL+DRAHT
Volume115
Issue number9
Publication statusPublished - Sept 2023
MoE publication typeD1 Article in a trade journal

Fingerprint

Dive into the research topics of 'Using model checking for interlocking software verification'. Together they form a unique fingerprint.

Cite this