This article presents industrial experience of applying the B formal method in the industry, on diverse application fields (railways, automotive, smartcard, etc.). If the added value of such an approach has been demonstrated over the year, using a formal method is not the panacea and requires some precautions when introduced in an industrial development cycle. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Lecomte, T. (2009). Applying a formal method in industry: A 15-year trajectory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5825 LNCS, pp. 26–34). https://doi.org/10.1007/978-3-642-04570-7_3
Mendeley helps you to discover research relevant for your work.