During a 6 months internship at AdaCore, I reimplemented the Crazyflie firmware using SPARK, a technology based on formal methods used to prove code correctness. Here is a link to a previous topic where I presented the work I was doing:
viewtopic.php?f=6&t=1406&p=8046&hilit=SPARK#p8046
I submitted this work for the Student Demo Cup, a competition which will take place during the Paris Open Source Summit (18th November). The project has been accepted and everyone can vote for it.
Here is the link presenting the project and the Student Demo Cup: http://student.openworldforum.paris/projet/certyflie/
So if you can vote for it and thus making a great publicity for the Crazyflie, it would be very nice
