Spark Pro – High Assurance by Design
Supported Platforms
SPARK Pro is a standalone toolsuite that runs on your host development environment. The SPARK language is compatible with all implementations of Ada and all cross-compilers and target machines. A GNAT Pro subscription is not required.
Host Platforms
A SPARK Pro subscription which includes access to the SPARK Pro toolsuite is available for the following host platforms:
Linux
- x86 GNU Linux (32 bits)
- x86-64 GNU Linux (64 bits)
Solaris
- SPARC Solaris 8+ (32 or 64 bits)
Windows
- x86 Windows (32 bits)
Mac OS X
- x86 OS X 10.5+
The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.