FLFLes vrais système d'exploitations sécurisé sont codé en ADA
Et prouvé formellement avec SPARK ;)
Fred Praca@Martoni
C'est de l'ironie, hein ? De la provoc ? 😄
Tiens, d'ailleurs, on n'a encore pas de devroom au Fosdem et même pas de stand je pense
C'est de l'ironie, hein ? De la provoc ? 😄
Tiens, d'ailleurs, on n'a encore pas de devroom au Fosdem et même pas de stand je pense
@FredPraca Absolument pas :)
ADA est tout à fait crédible pour faire des systèmes critique. Et si en plus c'est prouvé formellement avec SPARK on obtient un système temps réel pour l'industrie et autre système médicaux très intéressant.
@Martoni
Mais là, tu prêches un convaincu 😁
Mais là, tu prêches un convaincu 😁