ligurio/practical-fm

一份精心整理在业界使用形式化验证方法的公司清单

↗ 在 GitHub 打开

星数

610

Fork 数

46

语言

—

许可

—

最后推送

6个月前

coq formal-methods formal-verification tlaplus software-engineering practice formal-verification-methods tla-specification

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。