Bedrock rend les systèmes informatiques vraiment fiables
Bedrock révolutionne la fiabilité logicielle. Il vérifie formellement le code de bas niveau des systèmes d'exploitation. Cela garantit le comportement exact des systèmes critiques. Il prévient aussi les pannes coûteuses.
Imaginez un logiciel si fiable qu'il ne plante jamais. Imaginez qu'il ne soit jamais piraté. C'est l'objectif de Bedrock. Ce cadre révolutionnaire vient des chercheurs du MIT. Adam Chlipala a dirigé cette équipe. Développé vers 2010, Bedrock utilise l'assistant de preuve Coq. Il vérifie formellement le code de bas niveau des systèmes d'exploitation. Cela garantit un comportement exact et voulu.
Il y a plus à découvrir — ouvrez l'app pour continuer la lecture.
Continuer la Lecture dans l'App
2 paragraphes de plus · et un quiz de 3 questions