Spark Pro - Training & Engineering Services
Engineering Services
For projects requiring very high priority support or specialized expertise such as design-for-verification, fault-tolerant or real-time applications and interfacing SPARK with other languages, Praxis and AdaCore offer custom support and engineering services.
Examples in which Praxis and AdaCore can bring its expertise to your project:
Starting a successful SPARK Pro project
Our experence shows that early design decisions are critical in the long-term success of a SPARK Pro project. We can offer design advice, mentor your team, and review critical decisions to ensure that your project is making the best use of SPARK and the SPARK Pro Toolsuite.
In addition to being the developers of SPARK, Praxis are one of the biggest SPARK users in the world, developing such milestone projects such as SHOLIS, the MULTOS CA and the NATS iFACTS system.
For more information, please contact a sales representative at sales@adacore.com
More on SPARK Pro
Language & Toolsuite »
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 Overview »
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.