首页
系统
动态
电子资讯
硬件
数码
软件介绍
网络软件
系统工具
应用软件
图形图像
多媒体
编程开发
字体下载
登录
标签
abstraction
Formal Verification (三) abstraction strategy、reduce complexity for convergence
“空间爆炸”大大增加了formal工具处理的复杂度,在有限的资源内,难以达到收敛。所以采用一些abstraction的手段,是十分有效且必要的。 正确的abstraction
abstraction
Verification
formal
Strategy
convergence
admin
6小时前
2
0