kanimodel-checking
NOVOKani 是 Rust 的位精确模型检查器，可验证安全性与正确性，检测未定义行为、panic、算术溢出及自定义断言或契约，适用于检查 unsafe 代码块。
Código aberto. Novas possibilidades.
Descubra projetos open source de qualidade, envie projetos anonimamente e reivindique e edite seu próprio projeto.
Topic: model-checking清除