http://www.adacore.com AdaCore technology and news Mon, 06 Feb 2012 18:59:19 +0100 http://wordpress.org/?v=2.9 hourly 1 http://www.adacore.com/home/products/sparkpro/language_toolsuite/comment-page-1/#comment-15131 Libre - Home > AdaCore and Altran Praxis Release SPARK Pro 10 Tue, 07 Jun 2011 12:02:33 +0000 #comment-15131 [...] selection of flow analysis mode The SPARK Pro Examiner now supports automatic selection of information flow or data flow analysis on a per-subprogram [...] [...] selection of flow analysis mode The SPARK Pro Examiner now supports automatic selection of information flow or data flow analysis on a per-subprogram [...]

]]> http://www.adacore.com/home/products/sparkpro/language_toolsuite/comment-page-1/#comment-10839 AdaCore - The GNAT Pro Company Tue, 21 Sep 2010 12:39:41 +0000 #comment-10839 [...] 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 [...] [...] 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 [...]

]]> http://www.adacore.com/home/products/sparkpro/language_toolsuite/comment-page-1/#comment-8944 AdaCore - The GNAT Pro Company Tue, 13 Apr 2010 06:59:44 +0000 #comment-8944 [...] design discipline for the engineering of high-assurance software. It combines Praxis’ renowned SPARK language and verification tools, with the GNAT Programming Studio (GPS) and GNATbench development [...] [...] design discipline for the engineering of high-assurance software. It combines Praxis’ renowned SPARK language and verification tools, with the GNAT Programming Studio (GPS) and GNATbench development [...]

]]>