team

FORSE - Lightweight Formal Methods for Software Engineering

At the FORSE lab, we bring rigorous formal methods together with practical software engineering.

Team page under construction.