Spark Pro – Training & Engineering Services
Professional Services
In addition to the standard SPARK Pro support package, Praxis and AdaCore offer specialized on-site engineering, training and custom SPARK development services based on specific customer requirements.
SPARK Pro Training
Get training from some of the foremost experts on the SPARK programming
language and SPARK Pro technology. Praxis and AdaCore offer introductory and
advanced courses in SPARK, as well as GNAT Pro and GPS training.
Training sessions can be given on-site or scheduled at our offices
in Bath (UK), Paris or New York.
Learn more
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.
Learn more
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.