模型检查器(Model Checkers)与其他Formal分析引擎
基于28个网页-相关网页
golden model checkers 黄金模型检验器
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
youdao
应用推荐
模块上移
模块下移
不移动