8. Conclusion

Within the framework of standards in the automotive (ISO 26262), rail (CENELEC EN 50128) and generic (IEC 61508) fields, formal methods are recommended as a means of describing requirements (moving from informal to formal) and achieving controlled code production. In the new DO 178C standard, a specific guide has been introduced to describe the implementation of formal methods, with a focus on their use at code level (verification that C code respects certain properties).

In fact, formal methods such as the B method , SCADE