A team of 3 students from the Université d’Orléans and Université de Tours will work on the formal verification of Contiki-NG modules with Frama-C in the context of DiLLXP experience (Digital Learning Lab eXpérience Pédagogique)
Languages, Models and Verification
A team of 3 students from the Université d’Orléans and Université de Tours will work on the formal verification of Contiki-NG modules with Frama-C in the context of DiLLXP experience (Digital Learning Lab eXpérience Pédagogique)