Recent Publications

(2019). Embedding High-Level Formal Specifications into Applications. Proceedings of the 23rd International Symposium on Formal Methods (FM 2019), Springer LNCS (to appear).


(2019). Automated Backend Selection for ProB Using Deep Learning. Proceedings 11th Annual NASA Formal Methods Symposium (NFM 2019), Springer LNCS.

Preprint PDF Project Project

(2019). Experience Report on An Inquiry-Based Course on Model Checking. Proceedings 16. Workshop Software Engineering im Unterricht der Hochschulen (SEUH 2019), CEUR Workshop Proceedings.

Preprint PDF Project

(2018). Measuring Coverage of Prolog Programs Using Mutation Testing. Proceedings 26th International Workshop on Functional and Logic Programming (WFLP 2018), Springer LNCS.

Preprint PDF Project Slides

(2018). Repair and Generation of Formal Models Using Synthesis. Proceedings 14th International Conference on integrated Formal Methods (iFM 2018), Springer LNCS.

Preprint Project Project

Recent & Upcoming Talks



BMoth is a prototypical model checker for models written in classical B. Its focus lies on reusing existing libraries to reduce implementation effort and thus be able to serve as a testbed for novel algorithms and implementation techniques.

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.


ProB is an animator, constraint solver and model checker for the B-Method. In this project, we integrate symbolic model checking algorithms into ProB that work well with the high-level nature of B specifications.

Prolog Language Features

Prolog as a programming language and the common Prolog interpreters lack features often available for other languages. In this project, we strive to port interesting features available for other languages to SWI and SICStus Prolog.



Beitreiber gemäß § 5 TMG:

Sebastian Krings
Schiefbahner Str. 64
41352 Korschenbroich


Verantwortlich nach § 55 Abs. 2 RStV:

Sebastian Krings