Formal Methods

SERVANT-ES

Aims to apply formal methods of software engineering and software verification to produce a reliable software platform for flight control of unmanned aerial vehicles.