文件名称:RVT是工具/库的集合,以支持Rust程序的静态和动态验证。-Rust开发
文件大小:510KB
文件格式:ZIP
更新时间:2024-06-16 13:17:11
Rust Utilities
RVT是工具/库的集合,以支持Rust程序的静态和动态验证。 Rust验证工具这是工具/库的集合,以支持Rust程序的静态和动态验证。 我们将静态验证(形式验证)和动态验证(测试)视为同一活动的两个部分,因此这些工具可用于两种形式的验证。 使用proptest模糊测试/属性测试库进行动态验证。 使用KLEE符号执行引擎的静态验证。 我们的目标是在不久的将来添加其他后端