Tucker Taft:

We are getting close. We have been trying to stabilize a chunk of functionality, and fix up the commit messages and the test suite so we could submit a patch. I would anticipate a couple of more weeks. Even before then we will make something available for folks who feel competent to clone a repository on GitHub and give them a try. Here is a branch you could try now: GitHub branch

How to prove safety and security for embedded and systems software using SPARK Pro.

In this session, you'll learn about what SPARK is, how SPARK works, and see how SPARK can be applied to a M.A.R.S. Rover to prove safety.

#AdaLanguage #AdaProgramming #ada #adalang