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 includes access to the SPARK Pro toolsuite on all of 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.