Bedrock macht Computersysteme wirklich vertrauenswürdig
Bedrock revolutioniert die Softwarezuverlässigkeit. Es verifiziert Betriebssystem-Code auf niedriger Ebene formal. So stellt es sicher, dass kritische Systeme wie beabsichtigt funktionieren. Das verhindert kostspielige Ausfälle.
Stellen Sie sich Software vor, die nie abstürzt oder gehackt wird. Das ist das Ziel von Bedrock. Es ist ein bahnbrechendes Framework der MIT-Forscher um Adam Chlipala. Bedrock wurde um 2010 entwickelt. Es nutzt den Coq-Beweisassistenten. Damit werden Betriebssystem-Code auf niedriger Ebene formal verifiziert. So wird sichergestellt, dass er genau wie beabsichtigt funktioniert.
In der App Weiterlesen
plus ein 3-Fragen-Quiz