SPARK 2014

Expanding the boundaries of safe and secure programming.

Hi there. The content of this website has moved elsewhere on the Web.

The blog has moved to AdaCore's blog, information about SPARK has moved to the About Spark page, the section on ProofInUse lab has moved to this page.

For downloading the SPARK tools, see the Community section on AdaCore's website

For question or issues, you can subscribe to the public SPARK mailing list or get in contact on social media.