Pour météor, c'est du B en effet. Enfin, le noyau dur est en B, mais il communique avec d'autres modules moins critiques qui n'ont pas été prouvés formellement, ... et qui manifestement plantent de temps en temps :-( Enfin disont que quand tu demande à un spécialiste de la question si météor à déjà planté, il te réponds qu'il n'y a eu aucun plantage qui ne soit pas du à des données erronées envoyées par un module extérieur, et c'est assez lourd de sous-entendus ! Si mes souvenirs sont bons, c'est 500 personnes.mois pour 50 000 lignes de code. (aille aille $$$)
Pour Ariane, je crois que c'est surtout de l'interprétation abstraite qui a été utilisée. Pas assez d'ailleurs :-(
[^] # Re: Plex86 (ex-FreeMWare) sort en v0.1
Posté par Matthieu Moy (site web personnel) . En réponse à la dépêche Plex86 (ex-FreeMWare) sort en v0.1. Évalué à 4.
Pour Ariane, je crois que c'est surtout de l'interprétation abstraite qui a été utilisée. Pas assez d'ailleurs :-(