SPARK Pro launched

AdaCore and Praxis have released SPARK Pro, an open source development enviroment focused on software development in areas where correct operation is vital.

Here’s a quote from the press release:

SPARK Pro combines the proven SPARK language and supporting toolset with AdaCore’s easy-to-use GNAT Programming Studio (GPS) Integrated Development Environment, backed by unrivalled support services. This provides a powerful method for developing critical systems.

The entire press release can be found here.

Leave a Reply