http://www.adacore.com
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.enAdaCoreCopyright AdaCore 20152015-11-17T00:00:00+00:00http://www.adacore.com/developers/development-log/NF-18-Q814-002-gnat
http://www.adacore.com/developers/development-log/NF-18-Q814-002-gnat#When:00:00:00Z2017-08-14T00:00:00+00:00http://www.adacore.com/developers/development-log/NF-18-Q621-023-gnat
http://www.adacore.com/developers/development-log/NF-18-Q621-023-gnat#When:00:00:00Z2017-08-11T00:00:00+00:00http://www.adacore.com/in-the-press/bringing-the-aerospace-safety-mindset-to-the-automotive-mode
http://www.adacore.com/in-the-press/bringing-the-aerospace-safety-mindset-to-the-automotive-mode#When:16:11:06ZBringing the aerospace safety Mindset to the Automotive Mode | Aug 8, 2017
]]>2017-08-08T16:11:06+00:00http://www.adacore.com/developers/development-log/NF-18-Q803-025-codepeer
http://www.adacore.com/developers/development-log/NF-18-Q803-025-codepeer#When:00:00:00Z2017-08-05T00:00:00+00:00http://www.adacore.com/developers/development-log/NF-18-Q504-002-gps
http://www.adacore.com/developers/development-log/NF-18-Q504-002-gps#When:00:00:00Z2017-08-03T00:00:00+00:00http://www.adacore.com/developers/development-log/NF-18-Q803-006-gnat
http://www.adacore.com/developers/development-log/NF-18-Q803-006-gnat#When:00:00:00Z2017-08-03T00:00:00+00:00http://www.adacore.com/developers/development-log/NF-18-Q803-008-gnat
http://www.adacore.com/developers/development-log/NF-18-Q803-008-gnat#When:00:00:00Z2017-08-03T00:00:00+00:00http://www.adacore.com/in-the-press/rust-and-spark-software-reliability-for-everyone-print-issue
http://www.adacore.com/in-the-press/rust-and-spark-software-reliability-for-everyone-print-issue#When:13:31:40ZRust and SPARK: Software Reliability for Everyone - page 34 (print issue) | Jul 31, 2017
]]>2017-07-31T13:31:40+00:00http://www.adacore.com/newsletter/july-december-2017
http://www.adacore.com/newsletter/july-december-2017#When:09:51:57Z