...
机译:Grobner基础理论的新进展及其在形式验证中的应用
机译:Grobner基础理论的新进展及其在形式验证中的应用
机译:基于细化验证理论的混合模型嵌入式系统的正式发展方法
机译:基于细化验证理论的混合模型嵌入式系统的正式发展方法
机译:通过将Grebner基础与逻辑减少组合来正式验证整数乘法器
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:格罗布纳基础理论的新进展及其在形式验证中的应用