Spark Pro – High Assurance by Design
Customers and Projects
SPARK Pro is the new SPARK toolsuite from Praxis and AdaCore, so come back soon to see our list of new and transition customers.
SPARK Customers
SPARK, though, has a long and enviable record of industrial use in many industry sectors. Long-standing SPARK users include:
AerMacchi
AeroSystems International
Alenia Difesa
ALSTOM Transport
Ansaldo STS
AWE
BAE Systems (Operations) Ltd.
BAE Systems Australia Ltd.
Data Systems and Solutions
EuroFighter Consortium
General Dynamics UK
Goodrich Engine Controls
Lockheed Martin
MBDA
NATO C3 Agency
QinetiQ
Rockwell Collins
Thales UK
Ultra Electronics
Westinghouse Rail Systems Ltd.
The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.