×

FoCs公司

swMATH ID: 1591
软件作者: 亚埃尔阿巴内尔;啤酒,伊兰;Gluhovsky,Leonid;雪伦·凯达尔;Wolfsthal,纱线
描述: FoCs–根据正式规范自动生成模拟检查器。在可预见的未来,工业硬件设计将在设计验证过程中继续使用仿真和模型检查。迄今为止,这些技术都是使用不同的工具和方法以及问题的不同表述单独应用的。这导致模拟和正式验证的个别优势的累积高成本和很少(如果有的话)交叉杠杆
主页: http://www.springerlink.com/content/c458783128228w61/
相关软件: LTL2BA公司;霍尔;自旋蛋白;副驾驶员;ANTLR公司;日本运通银行;毫升;蒙保利;卢斯特;洛拉;DReX公司;信号;酯类;Java操作系统;斑点;z3型;莫德;PMaude公司;AMT公司;繁荣
引用于: 17文件

按年份列出的引文