Projects

BMoth

A prototypical model checker focussing on reusable libraries.

CLP(Str)

Constraint Logic Programming Over Strings.

Formal Methods Accessibility

Lower barriers and learning curves to enable the usage of formal methods in mainstream industries.

ProB

Animator, constraint solver and (symbolic) model checker for the B-Method.

Prolog Language Features

Providing new features to Prolog implementations.

Teaching Formal Methods

Improving formal methods education.

Recent & Upcoming Talks

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