软件搜索-zbMATH Open

FoC公司

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

1出版物描述软件，包括1出版物以zbMATH为单位	年份
FoC–根据正式规范自动生成仿真检查器。 Zbl 0974.68552号亚尔·阿巴巴内尔；啤酒，伊兰；列奥尼德·格鲁霍夫斯基；莎伦·凯达尔；Wolfsthal，纱线	2000