Qualité et sûreté logicielle avec Frama-C
Programme dirigé par Florent Kirchner, directeur du
laboratoire Sûreté du logiciel, CEA List
A one-day workshop by the
Frama-C community, gathering both academic & industrial users around
shared experiences and new perspectives.
Confirmed speakers : S. Duprat (Atos), J. Gerlach
(Fraunhofer), D. Mentré (Mitsubishi), C. Marché (LRI), B. Monate
(TrustInSoft), N. Richer (EDF), D. Sheridan (Adelard), M.
Sighireanu (LIAFA), A. Tomb (Galois)