welltyped-systems/verified-ledger

A reference architecture for differential fuzzing using a formally verified oracle

语言：Rust · GitHub 星标：46 · Fork：2

话题：formal-verification · fuzzing · lean4 · rust · testing

在 GitHub 上查看原仓库