主题 · formal-verification
formal-verification
标记 formal-verification 主题、收录中的开源项目，按星标数排序。
项目数
13
总星标数
16,360
平均星标数
1,258
占比
0.00%
相关主题
常跟 formal-verification 一起出现在同一个项目上的主题。
近期新秀
近 90 天内创建、标记 formal-verification 主题的项目。
近 90 天内还没有新项目标记这个主题。
- #1★ 3,673+0近 7 天星标变化
- #2★ 1,836+0近 7 天星标变化
- #3★ 1,836+0近 7 天星标变化
- #4
基于 Viper 验证基础设施的 Rust 静态验证器。
★ 1,809+0近 7 天星标变化 - #5★ 1,190+0近 7 天星标变化
- #6
Rust 的形式化验证工具：检查程序 100% 的执行案例以打造更安全的应用程序。
★ 1,161+0近 7 天星标变化 - #7★ 955+19近 7 天星标变化
- #8★ 835+0近 7 天星标变化
- #9★ 698+2近 7 天星标变化
- #10
针对机器操作的后果防火墙。EMILIA Gate 在金钱、代码、权限、基础设施或受管制的状态变更前验证确切的授权；此开放式协议使证据可独立验证。
★ 650+1近 7 天星标变化 - #11
免费与开源硬件验证工具及框架列表
★ 622+0近 7 天星标变化 - #12
一份精心整理在业界使用形式化验证方法的公司清单
★ 610+1近 7 天星标变化 - #13★ 508+0近 7 天星标变化
