The First Twenty-Five Years of Industrial Use of the B Method

Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
July, 2020
PDF Project
Type
1
Publication
In Proceedings 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Springer LNCS
Formal Methods ProB
Sebastian Krings
Sebastian Krings
Software Engineer

My interests include software analysis, formal methods and offensive security.