It covers formal methods such as scade and or the b method in various fields such as railways aeronautics and the automotive industry the purpose of this book is to present a summary of experience on the use of formal methods based on formal techniques such as proof abstract interpretation and model checking in industrial examples of complex systems based on the experience of . Formal methods applied to industrial complex systems edited by jean louis boulanger this book presents real world examples of formal techniques in an industrial context it covers formal methods such as scade the b method controlbuild and matelo in various fields such as railways aeronautics and the automotive industry the purpose of this book is to present a summary of experience on the . System status login my account feedback reporting from message your name your email stanford users can avoid this captcha by logging in send cancel check system status report wrong cover image search catalog all catalog articles website more in one search catalog books media more in the stanford libraries collections articles journal articles other e resources search . Formal methods applied to industrial complex systems. Two case studies involving the application of formal methods to industrial strength computer networks are described in both case studies the formal method csp fdr was thought sufficiently mature for these applications however in both cases for the formal method to be effective it was necessary to develop techniques requiring expert knowledge in the theory underpinning the formal method