A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railway

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fie

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fie

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

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without ve