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