Paris Open Source Innovation Spring : Frama-C & SPARK Day 2019
On Monday 3 June 2019 from 09h00 to 17h00.
La Fabrique Evenementielle, 52 ter Rue des Vinaigriers, Paris, Île-de-France
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.
Informations
- Website
- http://open-source-innovation-spring.org/2019/frama-c-and-spark-day-2019/
- Contact
- open-source embarqué sécurité open-source-innovation-spring frama-c osis spark