Bedrock hace que los sistemas informáticos sean realmente confiables
Bedrock revoluciona la fiabilidad del software. Verifica formalmente el código de bajo nivel del sistema operativo. Asegura que los sistemas críticos se comporten como se espera. Esto previene fallas costosas.
Imagina un software tan fiable que nunca falla ni es hackeado. Ese es el objetivo de Bedrock. Es un marco innovador de investigadores del MIT. Adam Chlipala lideró el equipo. Desarrollado alrededor de 2010, Bedrock usa el asistente de pruebas Coq. Este verifica formalmente el código de bajo nivel del sistema operativo. Así asegura que se comporta exactamente como se espera.
Hay más sobre esta historia — abre la app para seguir leyendo.
Seguir Leyendo en la App
2 párrafos más · más un cuestionario de 3 preguntas