NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at : http://www.aboutcookies.org/Default.aspx?page=1

Events Calendar

Frama-C & SPARK Day 2019
Monday, 03 June 2019,  8:00

Bandeau Global Osis 2019 Frama C and SPARK Day 800x200

This one-day workshop aims at gathering both academic and industrial users of the environments Frama-C and SPARK, for sharing experiences and discussing perspectives.

It is co-organized by CEA List, AdaCore, TrustInSoft and Inria joint lab 'ProofInUse'.

Frama-C & SPARK Day 2019 is a one-day workshop gathering researchers and engineers around shared experiences and new perspectives of the environments Frama-C and SPARK. It continues the series of previous similar events FCD 2015, FCD 2016, FCSD 2017, and SSAS 2018.

Speakers at the Frama-C & SPARK Day will demonstrate and discuss innovative approaches to software analysis, from both academic and industrial points of views. In addition to invited presentations, this workshop will feature space for community discussions, updates on new developments and upcoming projects.

The talks are organised in four sessions:

  • a keynote on the Why3 technology used in SPARK and Frama-C followed by a talk on teaching with SPARK and Frama-C
  • three talks on the application of formal verification in autonomous driving industry
  • three talks on the application of formal verification to embedded software
  • three talks on the application of formal verification for safety

For further information:

Back