Bedrock bilgisayar sistemlerini gerçekten güvenilir kılıyor
Bedrock, düşük seviyeli işletim sistemi kodunu resmi olarak doğrulayarak yazılım güvenilirliğini devrim niteliğinde değiştiriyor. Kritik sistemlerin tam olarak amaçlandığı gibi çalışmasını sağlıyor ve maliyetli arızaları önlüyor.
Asla çökmeyen veya hacklenmeyen bir yazılım düşünün. Bu, Adam Chlipala liderliğindeki MIT araştırmacılarının çığır açan Bedrock çerçevesinin hedefidir. Yaklaşık 2010'da geliştirilen Bedrock, düşük seviyeli işletim sistemi kodunu resmi olarak doğrulamak için Coq kanıt asistanını kullanır. Böylece tam olarak amaçlandığı gibi davranmasını sağlar.
Bu hikayenin devamı uygulamada — okumaya devam etmek için aç.
Uygulamada Okumaya Devam Et
2 paragraf daha · ve 3 soruluk bir test