Press Release

New open source tool suite improves high assurance software projects

NEW YORK, PARIS and LONDON, March 24, 2009 – Ada UK Conference – Developers creating safety critical and high assurance systems will benefit from today’s launch of SPARK Pro. The new open source development environment has been created by Praxis, international specialist in critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language.

Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS