Verification methods have limitations rooted in their methodological approach. Different
methods can be more appropriate in verifying some type of properties than others. We …

A very promising and efficient method of showing the correctness of a complex system is
using formal methods on a model of that system. To this end there exist plentiful methods …

In this article, the feasibility of a unified modelling and programming paradigm is discussed
from the perspective of large scale system development and verification in collaborative …

Systems Engineering (SE) is an approach for designing complex systems. It is now
standardized, applied succesfully and recognized in industry. It is intrinsically a model based …

When seeking to verify a computational system one can either view the system as a static
description of possible behaviours or a dynamic collection of observed or actual behaviours …

This paper considers current state-of-the-art verification techniques that are based upon, or
supported by, formal methods principles to ensure a high degree of assurance. It considers …

The three-volume set LNCS 12476-12478 constitutes the refereed proceedings of the 9th
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which …

In order to analyse extensively the safety of the deployed railway software systems, RATP
rely on rigorous verification methodologies based on formal methods. During the past few …

In modern railway systems, verification of system and software are usually performed
independently, even though the refinement from system to software level is covered …

The three main assertion-based verification approaches are: run-time assertion checking
(RAC), extended static checking (ESC) and full formal verification (FFV). Each approach …