Formal Methods Accessibility

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.

Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.

Related