Formal Methods Accessibility
Sep 26, 2018
Despite their abilities, formal methods are not commonly used in industry and often remain of pure academic interest. This is, at least to some extend, caused by the complexity of mathematical notations and the inaccessibility of tools. In this project we aim to lower barriers and learning curves to enable the usage of formal methods in mainstream software industries, by regular developers.
Sebastian Krings
Software Engineer
My interests include software analysis, formal methods and offensive security.