--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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.