×

FoCs公司

swMATH标识: 1591
软件作者: 阿巴巴内尔,耶尔;啤酒,伊兰;鲁霍夫斯基,列奥尼德;凯达尔,莎伦;沃尔夫斯塔尔,亚龙
说明: FoCs–从正式规范自动生成仿真检查程序。在可预见的未来,工业硬件设计将继续在设计验证过程中同时使用仿真和模型检查。到目前为止,这些技术是孤立地使用不同的工具和方法,以及对问题的不同表述。这导致了累积的高成本和很少(如果有的话)交叉利用模拟和形式验证的个别优势
主页: http://www.springerlink.com/content/c458783128w61/
相关软件: LTL2BA;荷兰语;旋转;副驾驶;JPAX公司;安特尔;毫升;蒙多利;埃斯特雷尔;信号;爪哇拖把;斑点;z3型;帕穆德;莫德;金额;繁荣;努西姆;帕萨特;汉尼拔
参考文献: 17种出版物

按年份引用出版物