FoCs公司 swMATH ID: 1591 软件作者: 亚埃尔阿巴内尔;啤酒,伊兰;Gluhovsky,Leonid;雪伦·凯达尔;Wolfsthal,纱线 描述: FoCs–根据正式规范自动生成模拟检查器。在可预见的未来,工业硬件设计将在设计验证过程中继续使用仿真和模型检查。迄今为止,这些技术都是使用不同的工具和方法以及问题的不同表述单独应用的。这导致模拟和正式验证的个别优势的累积高成本和很少(如果有的话)交叉杠杆 主页: http://www.springerlink.com/content/c458783128228w61/ 相关软件: LTL2BA公司;霍尔;自旋蛋白;副驾驶员;ANTLR公司;日本运通银行;毫升;蒙保利;卢斯特;洛拉;DReX公司;信号;酯类;Java操作系统;斑点;z3型;莫德;PMaude公司;AMT公司;繁荣 引用于: 17文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 FoC–根据正式规范自动生成仿真检查器。 Zbl 0974.68552号亚尔·阿巴巴内尔;啤酒,伊兰;列奥尼德·格鲁霍夫斯基;雪伦·凯达尔;Wolfsthal,纱线 2000 全部的 前5名38位作者引用 三 费斯曼,达纳 三 德扬·尼科维奇 2 辛迪·艾斯纳 2 奥德·马勒 2 戴安·塔巴科夫 2 Moshe Ya’akov瓦尔迪 1 亚埃尔·阿巴本尔·维诺夫 1 费利斯·巴拉林 1 啤酒,伊兰 1 肖姆·本·达维德 1 劳拉·博泽利 1 Jörg Brauer 1 陈曦 1 罗尔夫·德雷克斯勒 1 哈维尔·埃斯帕尔扎 1 格什温·菲 1 马蒂亚斯·福格尔 1 列奥尼德·格鲁霍夫斯基 1 迈克尔·J·C·戈登。 1 约翰·W·哈夫利切克。 1 谢,哈里 1 赫德,乔 1 凯文·琼斯。 1 迈克尔·凯特尔曼 1 雪伦·凯达尔 1 维克多·康拉德 1 尤德·卢斯蒂格 1 安东尼·麦克萨克 1 何塞·梅塞盖尔·瓜伊塔 1 阿米尔·普努利 1 托马斯·莱因巴赫 1 克里斯汀·伊冯·罗泽尔 1 西瓦尼特·鲁阿 1 塞萨尔·桑切斯 1 斯特凡·施温 1 康拉德·斯林德 1 戴维·范·坎本霍特 1 Wolfsthal,纱线 引用于4个系列 三 系统设计中的形式化方法 2 理论计算机科学 1 国际并行程序设计杂志 1 计算的形式方面 在4个字段中引用 16 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文