SPARK Partners

Sales, Support and Training

Sales, training and support in the USA - Pyrrhus Software

Tool Partners

Our "Tool Partnership" scheme includes companies with whom we share customers or interests. These companies, and their respective areas of partnership are:

Integration of SPARK and SCADE Suite – Esterel Technologies

Code Generation of SPARK from UML – ARTiSAN Software

Code Generation of SPARK from UML – Telelogic Rhapsody

Code Generation from BEACON toolset – Applied Dynamics International

High-Integrity Compilation of Ada and SPARK – AdaCore

Compatability of SPARK with Understand-for-Ada toolset – Scientific Toolworks, Inc.