Lists other companies that we work with on a "tool partnership" basis, ensuring that SPARK works with other software-lifecycle products such as compilers, design tools, test tools and so on:End:
 

Praxis High Integrity Systems logo

Praxis High Integrity Systems
arrowPraxis home arrowSPARKAda home arrowUsing SPARK arrowSPARK Partners
Photo

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.

 
 

© Website Content Praxis High Integrity Systems 2008

arrowNormal text arrowLarge text

 

corner Site index
cornerSitesearch

corner

bulletSPARKAda home
bulletNews and Events
bulletSPARK for Beginners
bulletSPARK Language & Toolset
bulletUsing SPARK
bulletSPARK Customers
bulletSPARK Partners
bulletAcademic Support
bulletProjects
bulletSPARK Book
bulletSupport
bulletFAQ
bulletPress
bulletDownloads and Publications

bulletContact SPARK Team

bulletSPARK Book (latest tools)

bulletTraining in SPARK



line

Contact Us +44 01225 466991
bulletOffice contact details, maps
bulletRecruitment and vacancies