SPARK

SPARK useful links

AdaCore SPARK Pro site

Review of the SPARK textbook
A review by well-known embedded systems journalist and commentator Jack Ganssle.

SPARK Pro Webinar
A recorded Webinar given by Rod Chapman – the leader of SPARK team – introducing SPARK and SPARK Pro.

Tokeneer: An Open-Source Demonstration of High-Assurance Software Engineering
A video of a talk by Dr Janet Barnes of Praxis on the Tokeneer project and its use of SPARK at the 2009 AdaUK conference.

SPARK User Community on LinkedIn.com.