Comments on: SPARK Pro

By: AdaCore - Home > AdaCore and Altran Praxis Release SPARK Pro 10

AdaCore - Home > AdaCore and Altran Praxis Release SPARK Pro 10 — Wed, 21 Sep 2011 08:58:30 +0000

[...] environment, providing a major step forward for the developers of high-assurance systems. SPARK Pro now offers increased flexibility to developers of systems with mixed integrity levels or with the [...]

By: AdaCore - Home > NIST Report Shows SPARK Most Suitable Language for Secure Programming

Mon, 02 May 2011 16:10:31 +0000

[...] SPARK Pro, an open source tool set for SPARK, is available from AdaCore. See: http://www.adacore.com/home/products/sparkpro for more information. [...]

By: Wind River » » GNAT Pro High-Integrity Edition For VxWorks MILS Platform now available

Mon, 24 May 2010 18:23:38 +0000

[...] appropriate at these levels. As an option, GNAT Pro High-Integrity Edition for MILS provides the SPARK Pro tool set to support these top levels. The SPARK language is a fully deterministic and verifiable [...]

By: Libre -

Libre - — Tue, 27 Apr 2010 06:02:18 +0000

[...] a leading supplier of Ada development tools and support services, today announced the selection of SPARK Pro by Rockwell Collins for use on selected projects that have stringent security and information [...]

By: AdaCore - The GNAT Pro Company

AdaCore - The GNAT Pro Company — Wed, 24 Mar 2010 08:23:44 +0000

[...] SPARK Pro was created one year ago by Altran Praxis, international specialist in embedded and critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language. SPARK Pro provides the foremost language, toolset and design discipline for engineering high-assurance software. It combines Altran Praxis’ renowned SPARK language and verification tools, with the GNAT Programming Studio (GPS) and GNATbench development environments from AdaCore. [...]

By: AdaCore - The GNAT Pro Company

AdaCore - The GNAT Pro Company — Thu, 07 May 2009 17:45:18 +0000

[...] 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 [...]

By: AdaCore - The GNAT Pro Company

AdaCore - The GNAT Pro Company — Mon, 20 Apr 2009 07:17:16 +0000

[...] The InSight webinar series continues tomorrow with a presentation by Rod Chapman on the AdaCore/Praxis new joint offering – SPARK Pro. [...]

By: SPARK Pro Development Environment ~ EDA Blog

SPARK Pro Development Environment ~ EDA Blog — Tue, 24 Mar 2009 16:30:22 +0000

[...] More info: Praxis | AdaCore [...]