Rustおよびその他の言語に対応した高精度検証ツールCruxの紹介

Cruxは、RustやC/LLVMなどの言語に対応した、複雑なコードの正確性を検証するためのツールであり、特に暗号化モジュールやシリアライザ/デシリアライザペアなどの、人間にとってエラーを起こしやすいコードの検証に適しています。