Creusot
github
Rust実装
https://zenn.dev/kk/articles/20230213_creusot_intro
CreusotはRustの
形式検証
、演繹的検証(Deductive Verification)のためのツールです。
https://zenn.dev/kk/articles/20230214_creusot_intro_conditions
関連
kani