We have implemented various symbolic model checking algorithms, such as BMC, k-
Induction and IC3 for B, Event-B and other modeling languages. The high-level nature of …

This paper proposes an evaluation framework for autonomous systems, called LENS. It is an
instrument to make an assessment of a system through the lens of abilities related to …

The use of embedded software is advancing in modern medical devices, so does its
capabilities and complexity. This paradigm shift brings many challenges such as an …

An introduction to the journal is presented which includes articles on topics including service
architecture supporting the car‐to‐car and car‐to‐cloud communication, software quality …

Medical devices are nowadays more and more software dependent, and software
malfunctioning can lead to injuries or death for patients. Several standards have been …

Formal methods (in a broad sense) have been around almost since the beginning of
computer science. Nonetheless, there is a perception in the formal methods community that …

Advanced medical devices exploit the advantages of embedded software whose
development is subject to compliance with stringent requirements of standardization and …

Beschreibungen: The application of formal methods to the development of interactive safety-
critical systems usually involves a multidisciplinary team with different roles and expertise …

ABSTRACT Medical Devices (MDs) are by definition safety-critical and increasingly also
become security-critical when interoperating, ie, when communicating in some form. Finding …

Formal models are a rigorous way to specify informal system requirements. However, they
are not widely used in practice, since they are considered difficult to develop and …