Allan Blanchard (Inria Lille Nord Europe, France)

Latest

• Tutorial Towards Reliable Things: Formal Verification of IoT Software With Frama C
• Applying Formal Methods to the Contiki Operating System