Recent Publications

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

Preprint 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 (to appear).

Preprint 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

(2018). Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation. Proceedings 18th International Workshop on Automated Verification of Critical Systems (AVoCS 2018), Electronic Communications of the EASST (to appear).

Preprint Project

Recent & Upcoming Talks

Projects

BMoth

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

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.

Contact

Impressum

Beitreiber gemäß § 5 TMG:

Sebastian Krings
Schiefbahner Str. 64
41352 Korschenbroich

Kontakt

sebastian@krin.gs

Verantwortlich nach § 55 Abs. 2 RStV:

Sebastian Krings