Sales Ended

Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada

Event Information

Share this event

Date and Time

Location

Location

Université Paris Diderot (amphithéatre Buffon)

15 rue Hélène Brion

75013 Paris

France

View Map

Friends Who Are Going
Event description

Description

Frama-C & SPARK Day 2017

Formal Analysis and Proof for Programs in C and Ada

Frama-C & SPARK Day 2017 is a one-day workshop gathering researchers and engineers around shared experiences and new perspectives of the environments Frama-C and SPARK.

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 workshop is co-organized by CEA List, AdaCore, Inria joint lab ProofInUse and Université Paris-Diderot.

Frama-C & SPARK Day 2017 contributes to the Open Source Innovation Spring 2017, highlighting the excellence and international success of innovative projects stemming from French industries and research programs.

(Program to be announced)

Share with friends

Date and Time

Location

Université Paris Diderot (amphithéatre Buffon)

15 rue Hélène Brion

75013 Paris

France

View Map

Save This Event

Event Saved