Blog.adacore.com

Blog Ada Core. AdaCore provides tools and expertise for safe, secure, and high-reliability software development.

Today's Blog.adacore.com headlines: Observe fresh posts and updates on Blog Ada Core. This site’s feed is stale or rarely updated (or it might be broken for a reason), but you may check related news or Blog.adacore.com popular pages instead. It is generally safe for browsing, so you may click any item to proceed to the site.

News, stories and media buzz related to Blog Ada Core

Subscribe to related news

TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project
via adacore

SAN JOSE, Calif., NEW YORK and PARIS, April 23, 2013 – Design West Conference – AdaCore and Altran today announced TOYOTA InfoTechnology Center (ITC) Japan’s selection of the SPARK language and SPARK Pro toolset for a high-reliability software research...
SPARK Going to the Moon
via military-technologies

LIVERPOOL, United Kingdom, NEW YORK & PARIS–(BUSINESS WIRE)–UK Space Conference – AdaCore today announced the start of the Lunar IceCube project, a major hardware/software development effort that will use the GNAT Pro and SPARK language toolsets...

Blog.adacore.com popular pages

The AdaCore Blog

AdaCore Blog Menu
Formal Verification of Legacy Code - The AdaCore Blog

Formal Verification of Legacy Code Mar 10, 2016 Just a few weeks ago, one of our partners reported a strange behavior of the well-known function Ada.Text_IO.Get_Line, which reads a line of text from a...

Make with Ada: Candy dispenser, with a twist... - The AdaCore Blog

Make with Ada: Candy dispenser, with a twist... Mar 03, 2016 A few months ago, my colleague Rebecca installed a candy dispenser in our kitchen here at AdaCore. I don’t remember how exactly, but I was ...