Bedrockはコンピューターシステムを真に信頼できるものにする
Bedrockは、低レベルのOSコードを形式的に検証します。これにより、ソフトウェアの信頼性を革新します。重要なシステムが意図どおりに動作することを保証し、高価な障害を防ぎます。
クラッシュせず、ハッキングされない信頼性の高いソフトウェアを想像してみてください。それがBedrockの目標です。これはAdam Chlipala氏が率いるMITの研究者による画期的なフレームワークです。
続きはアプリでお読みいただけます。
アプリで続きを読む
あと4段落 · プラス3問のクイズ