Tokeneer Discovery - A SPARK Tutorial

Tools Installation

If you are a SPARK Pro customer, the tools can be downloaded from AdaCore’s website via GNAT Tracker. If you are a free software developer or an academic you can use the SPARK GPL toolset available on AdaCore’s Libre site. Visit the Tokeneer tools page for more information.

For GPS users, you need to also install the suitable GPS plug-in for SPARK.

For users using versions below GPS 4.3.1, please upgrade your GPS to the latest version.