Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL Course in Berlin on October 21/22 2010

  • Subject: [Frama-c-discuss] ACSL Course in Berlin on October 21/22 2010
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
  • Date: Thu, 9 Sep 2010 09:47:29 +0200
Dear Frama-C users,

In the context of the DEVICE-SOFT project on deductive verification
(http://www.first.fraunhofer.de/device_soft_en),
Fraunhofer FIRST and CEA LIST are offering a two day introductory course on
ACSL.
The workshop will take place on October 21st/22nd 2010 in Berlin at
Fraunhofer FIRST.

The course is expressly aimed at experienced C programmers who are novices
in the area of formal verification. 
The course will consist of lectures combined with exercises in Frama-C. 
There will also be several opportunities for plenary discussions.

Participants shall supply their own note-books to perform the exercises. 
Having Frama-C pre-installed on it is recommended (Download:
http://frama-c.com/download.html) but not mandatory. 
A Live CD will be provided and is included in the symbolic course fee of ?
100.

For more information on registration and how to get to the workshop venue
please refer to
http://www.first.fraunhofer.de/veranstaltung/Workshop_DEVICE_SOFT

Best regards

Jens Gerlach on behalf of the DEVICE-SOFT team.