Recent Publications

More Publications

. Experience Report on An Inquiry-Based Course on Model Checking. Proceedings SEUH, CEUR Workshop Proceedings, 2019.


. Measuring Coverage of Prolog Programs Using Mutation Testing. Accepted for WFLP 2018, 2018.

Preprint Project Slides

. Repair and Generation of Formal Models Using Synthesis. Proceedings iFM, Springer LNCS, 2018.

Preprint Project



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.


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 Infrastructure

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