RVT是工具/库的集合，以支持Rust程序的静态和动态验证。-Rust开发

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