- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Apr 20th, 2009
SPARK Pro webinar - places still available
The InSight webinar series continues tomorrow with a presentation by Rod Chapman on the AdaCore/Praxis new joint offering - SPARK Pro.
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 will present the concepts behind the Correctness-by-Construction methodology and will include a demo of the SPARK Pro toolset.
To register for this event, please click here.