The paper Formal Methods in Industry by M.H. ter Beek, R. Chapman, R. Cleaveland, H. Garavel, R. Gu, I. ter Horst, J.J.A. Keiren, T. Lecompte, M. Leuschel, K.Y. Rozier, A. Sampaio, C. Seceleanu, M. Thomas, T.A.C. Willemse and L.Zhang has appeared in Formal Aspects of Computing. See http://doi.org/10.1145/3689374

This paper describes the application of formal methods in industry, not limited to the safety-critical domain. We make a case for the importance of formal methods, and in particular the capacity to abstract and mathematical reasoning that are taught as part of formal methods courses. We argue these are fundamental Computer Science skills that graduates profit from when working in industry.