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.

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.