Dans le cadre du Printemps de l’Innovation Open Source (OSIS), le workshop Frama-C & SPARK réunit sur une journée les utilisateurs académiques et industriels des environnements Frama-C et SPARK. L’événement est co-organisé par CEA List, AdaCore, TrustInSoft et Inria.

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

Au programme

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

[maxbutton id=”2″ url=”http://open-source-innovation-spring.org/2019/frama-c-and-spark-day-2019/#programme-detaille” text=”Voir le programme complet” ]

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ée 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.