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

Spark Pro – Frontline Support

Expertise

SPARK Pro allows your team to leverage on literally hundreds of years of collective Ada and SPARK language experience. Whether you need help setting up your first Ada project or resolving the most complex programming challenge, SPARK Pro gives you direct access to this invaluable Ada knowledge base.


  • Angela Wallenburg
  • Trevor Jennings

There is no ‘Support Staff’

Frontline Support means that we don’t have a ‘dedicated support staff’. Every engineer in the company (that includes our CEO) has consulting and support as priority number one. This translates into the highest level of support possible by giving customers unfiltered access to the developers who build and maintain the SPARK Pro technology.

We Encourage Customers to Contact Us Frequently

While some companies try to limit their support load, we actually encourage customers to contact us. In fact, if we haven’t heard from a customer in a while we contact them to remind them about our services. We want customers to think of AdaCore as a first line of defense and not wait until a problem becomes critical before they get in touch. This approach also benefits our technology. Frequent contact and feedback from our customers plays a pivotal role in the evolution and advancement of SPARK Pro.

Our Success is Tied to Our Customers Success

One of the unique aspects of our business model is that SPARK Pro is a subscription based package. This means 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 receive from our services far outweigh the cost of their subscription. The fact that we have an extremely high renewal rate must mean we’re doing something right.

Bottom Line: Reduce Risks, Save Time, Save Money

Whether it’s reducing risk, keeping a project rolling or helping improve productivity, we understand that in the end it’s all about helping our customers save money. SPARK Pro services are designed to do exactly that. To find out more what SPARK Pro services can do for your project please contact an AdaCore representative at sales@adacore.com

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.