L'Agenda du Libre

Dans le cadre du Printemps de l’Innovation Open Source (OSIS), initié par le Pôle Systematic et l'Irill, le workshop Frama-C & SPARK réunit sur une journée les utilisateurs académiques et industriels des environnements Frama-C et SPARK.

Partage d’expériences, nouvelles perspectives, les intervenants internationaux expliqueront et discuteront des approches innovantes en matière d’analyse logicielle.

Il s'agit d'un événement gratuit, présenté en anglais, et co-organisé par CEA List, AdaCore, TrustInSoft et Inria.

Le programme, en bref :

• Une keynote sur la technologie Why3 utilisée dans SPARK and Frama-C, suivie d’une conférence sur comment enseigner avec SPARK et Frama-C
• 3 conférences sur le recours à la vérification formelle dans l’industrie de la voiture autonome
• 3 conférences sur le recours à la vérification formelle aux logiciels embarqués
• 3 conférences sur le recours à la vérification formelle pour la sécurité

Découvrir le programme détaillé: http://open-source-innovation-spring.org/2019/frama-c-and-spark-day-2019/

A propos de Frama-C

Frama-C est une plateforme open source d'analyse statique de code C qui garantit l'absence totale de bugs.

A propos de SPARK

SPARK is a software development technology specifically designed for engineering high-reliability applications.

A propos de l'OSIS

Le Printemps de l’Innovation Open Source est le rendez-vous de l’excellence scientifique et technologique du libre et de l’open source.
Initié par le GTLL (Groupe Thématique Logiciel Libre du Pôle Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre), l’OSIS vise à montrer le rayonnement international de projets issus de la recherche et de l’innovation française.