Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map

Spark Pro – Frontline Support

Customer Quotes

The fact that SPARK Pro is sold as a subscription model means our business is built completely on customer satisfaction. If customers aren’t satisfied with our services, they don’t renew. Our job is to prove to them that the value and savings they get from our services far outweigh the cost of their subscription. And from the many comments we receive, we think we’re doing a pretty good job.


Here’s What Our Customer’s Are Saying

Nova Technology

Let me take this opportunity to say that I could not have been more pleased with the support I have received from AdaCore. The compiler is absolutely first-rate and support has always been timely and comprehensive.

We could not have done this project without your help. Please extend my gratitude to all of the AdaCore team.

Nova Technology

Boeing

Once again, I really appreciate your support. I really like it when multiple people chime in with ideas. Other vendors are all to quick to assign the problem to a single individual and then you’re stuck with whatever they happen to think of.

Boeing

Eurocontrol

Thanks a lot for your brilliant support, from problem detection to running the new wavefront in less that one week, absolutely fabulous. Very happy to have another maze in our safety net.

Eurocontrol

Indra Sistemas

Thank you indeed for your very precise, brilliant answer, that has clarified a difficult (for us) question completely. And also for quickness in responding.

Indra Sistemas

EADS

We’ve been very happy with ACT’s support, please pass this message on to your engineers.

EADS

EADS

Smiths Aerospace is pleased to be working together with Wind River and Ada Core Technologies for the new Dreamliner program. The strengths that these partners bring to this program will help to guarantee its success and we expect the Dreamliner to carry into the skies the most advanced avionics system ever seen

Civil and Military Air Transport of GE Aviation

EADS

AdaCore’s technical support capabilities, including training, particularly impressed us, as well as the company’s close involvement in the Ada language from its very beginnings

BAE Systems

EADS

The combination of AdaCore and Wind River has provided us with the safest possible solution for our critical systems

EADS CASA

EADS

Working with AdaCore was the natural choice due to its knowledge and advanced implementation of Ada 2005 in products.

UPM

EADS

We selected AdaCore based on previous technical expertise with both Ada compilation systems and with avionics application development environments, specifically on the A380 cabin air conditioning system project

Senior Software Designer at Hamilton Sundstrand

EADS

Given our use of Ada our new agreement with AdaCore is ideal, providing us with cost-effective and flexible access to the leading Ada development environment for our staff across the world.

Thales Group

EADS

Over the multi-year development, AdaCore has proven instrumental in the success of both the ‘SCOE’ and the 767 Tanker program.

GE Aviation

Learn about the other side of SPARK Pro Pro Training image

AdaCore CEO Robert B.K. Dewar on the unique role that frontline support plays in our business. Watch it Now

More on SPARK Pro

Learn About the Other Side of SPARK Pro

Get the details on SPARK Pro’s comprehensive toolsuite which includes the full SPARK toolsuite, GPS Integrated Development Environment, utilities, and the GNAT Semantic Analyzer.
Continue Reading

SPARK Pro is a language, toolsuite and design approach for the development of high assurance software. SPARK has an enviable track-record in many industry sectors, such as aerospace, rail, nuclear and security, and has been used to meet or exceed all known industry guidance and standards at the highest assurance levels.
Continue Reading


The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.