The past few decades have witnessed remarkable progress in the application of artificial
intelligence (AI) and machine learning (ML) in medicine, notably in medical imaging. The …

Formal methods and tools have become well established and widely applied to ensure the
correctness of fundamental components of industrial critical systems in domains like …

Formal methods are proven techniques that provide a rigorous mathematical basis to
software development. In particular, they allow the quality of development to be effectively …

Medical devices are safety-critical systems since their malfunctions can seriously
compromise human safety. Correct operation of a medical device depends upon the …

The development of medical devices is a safety-critical process, because a failure or a
malfunction of the device can cause serious injuries to the patients whom use it. The …

The use of robust software engineering processes is essential in the design and
development of interactive systems. This ensures that software is both functionally correct …

Abstract We model the Mechanical Lung Ventilator (MLV) in the process algebra mCRL2.
The functional requirements of the MLV are formalised in the modal μ-calculus, and we use …

As the complexity of pacemaker devices continues to grow, the importance of capturing its
functional correctness requirement formally cannot be overestimated. The pacemaker …

Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines
for such studies. We mention their main ingredients and then define nine different study …

Event-B is a formal method for describing and verifying systems at the system level. It
enables a refining technique to design the system incrementally. Using Event-B notations to …