Modere 相关硕士博士期刊学术论文

形式化验证是对传统验证方法的补充，是数字电路验证的一条有效途径，对于并发系统，行为建模是一种非常合适的建模方法tRcbcca是由Siqan......