Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming inc

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, th

The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen,

Increasingly microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from a