Formal Methods

Programs for the physical world -- describing vehicles and fireflies

Joint work between [HasLAB/INESC TEC](https://haslab.pt/) and [CISTER/ISEP](http://cister-labs.pt), to develop a programming language with differential equations.