Code NSA Ada embarqué en licence BS D
Laurent GUERBY <[email protected]>
| Newsgroups | gmane.comp.lang.ada.france |
|---|---|
| Message-ID | <1223393775.24192.227.camel@localhost> |
Bonjour, La NSA a financé un projet embarqué de demonstration en BSD ecrit en Ada avec GNAT et les outils de verification formelle (proprietaires) de Praxis : Presse : http://www.adacore.com/2008/10/06/nsa-releases-secure-software-project-to-open-source-community/ Discussion slashdot : http://it.slashdot.org/article.pl?sid=08/10/06/1734255 Laurent _______________________________________________ Site WWW de l'association Ada-France: http://www.ada-france.org/ [email protected] http://www.ada-france.org/mailman/listinfo/ada-france