[GAP] Getting started with SPARK

[Kathy Fairlamb]

The InSight webinar series continues with a presentation by Rod  
Chapman on SPARK GPL - the high assurance toolset dedicated to the  
academic and Free Software communities. SPARK GPL combines the proven  
SPARK Ada language and supporting toolset with AdaCore’s GNAT  
Programming Studio (GPS) integrated development environment. SPARK is  
a language specifically designed to support the development of  
software used in applications where correct operation is vital either  
for reasons of safety or security. The SPARK Toolset offers static  
verification that is unrivalled in terms of its soundness, low false- 
alarm rate, depth and efficiency. The toolset also generates evidence  
for correctness that can be used to build a constructive assurance  
case in line with the requirements of industry regulators and  
certification schemes.

This webinar presents the concepts behind the Correctness-by- 
Construction methodology, includes a demo of the SPARK toolset and  
will look at current and potential research topics for the academic  
community.

The address to register can found at:

<http://www.adacore.com/home/products/sparkpro/language_toolsuite/webinars 
 >

Kathy Fairlamb
Communications & Administration
www.adacore.com
---------------------------------------------------
T: +33 1 49 70 67 16
F: +33 1 49 70 05 52





-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/gap/attachments/20090904/9919286d/attachment.html