Verification framework and tool for higher-order Scala programs
Candidature Apprentis (aka CanAp)
The first real-time VDM-based navigation prototype
Sources of EPFL's Summer Research Institute Website