Projects

The projects in which the FMT research group currently participates are listed below. Lists of upcoming projects and completed projects are available too.

National funding

ChEOPS: verified Construction of corrEct and Optimised Parallel Software  (Funded by: NWO)
FormaSig: Formal methods in railway signalling infrastructure standardisation processes  (Funded by: ProRail; DB Netze A.G.)