SPARK

SPARK Answers

Find answers to the most commonly asked questions about SPARK from Rod Chapman, a Principal Engineer with Altran Praxis.
View Videos

SPARK User Group Talks

Learn how SPARK users and experts are using SPARK Pro for high-assurance software development.
View Videos

Webinars

Find webinars dedicated to SPARK and the SPARK Pro development environment. Each webinar consists of a presentation, a demo, and a question and answer session with technical experts from Altran Praxis and AdaCore. These include overviews of previous releases of the SPARK Pro toolsets, and introductory webinars “Getting started with SPARK” and “Introducing SPARK Pro”.
View Videos

Want to know more?

Firstly, try the SPARK Textbook by the renowned author John Barnes. This is now available direct from AdaCore and also from Amazon.

You can also download the Tokeneer Project Archive and the Discovery Tutorial to lead you through an example of SPARK and the Toolset’s capabilities.