停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2009年第9届FMCAD：美国德克萨斯州奥斯汀

>主页 >会议和研讨会 >FMCAD公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/2009
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2009
第九届计算机辅助设计形式方法国际会议论文集，FMCAD 2009，2009年11月15-18日，美国德克萨斯州奥斯汀。电气与电子工程师协会 2009，国际标准图书编号978-1-4244-4966-8

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/VizelG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/VizelG09
亚基尔·维泽尔,奥尔娜·格伦伯格:
基于插值序列的模型检查。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CimattiDJR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiDJR09
亚历山德罗·西马蒂,乔里·杜布罗文,Tommi A.Junttila女士,马可·罗维里:
谓词抽象的结构感知计算。 9-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/案例MBK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CaseMBK09
迈克尔·凯斯,哈里·莫尼,杰森·鲍姆加特纳,罗伯特·坎泽尔曼:
通过时间分解增强验证。 17-24

软件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BeyerCGKS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BeyerCGKS09
德克·拜尔,亚历山德罗·西马蒂,阿尔贝托·格里乔,M.Erkan Keremoglu先生,罗伯托·塞巴斯蒂亚尼:
通过大块编码进行软件模型检查。 25-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/DeshmukhE09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DeshmukhE09
Jyotirmoy V.Deshmukh公司,E.艾伦·艾默生:
树状数据结构上递归方法的验证。 33-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SharmaGMH09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SharmaGMH09
Subodh Sharma公司,加内什·戈帕拉克里什南,埃里克·默瑟,吉姆·霍尔特:
MCC:MCAPI用户应用程序的运行时验证工具。 41-44

可满足性模理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MouraB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MouraB09
莱昂纳多·门登萨·德·莫拉,尼古拉·比约纳:
通用、高效的阵列决策程序。 45-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ChakiGS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChakiGS09
萨加尔·查基,阿里·古芬克尔,奥弗·斯特里赫曼:
线性算法的决策图。 53-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GanaiI09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GanaiI09网址
马来语K.Ganai,弗兰乔·伊万西奇:
使用CORDIC的非线性算法约束的高效决策过程。 61-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BrilloutKW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BrilloutKW09
安吉洛·布里略,丹尼尔·克罗宁,托马斯·沃尔:
浮点运算的混合抽象。 69-76

游戏

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SohailS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SohailS09
Saqib Sohail公司,法比奥·萨默齐:
安全第一：LTL游戏的两阶段算法。 77-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BloemGHJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BloemGHJ09
罗德里克·布隆,卡琳·格雷梅尔,托马斯·汉津格,芭芭拉·朱布斯曼:
合成鲁棒系统。 85-92

定量推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/DenmanATZP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DenmanATZP09
威廉·丹曼,贝扎德·阿克巴普尔,索菲涅·塔哈尔,穆罕默德·扎基,劳伦斯·保尔森:
使用MetiTarski对模拟设计进行正式验证。 93-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcd/KailasPM09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KalasPM09
克里希南·凯拉斯,维雷什·帕鲁西,布赖恩·蒙韦:
基于随机优先级的仲裁器的正确性和性能的正式验证。 101-107

假设担保推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KhasidashviliGM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KhasidashviliGM09
苏拉布·卡西达什维利,加夫列尔·加夫列洛夫,汤姆·梅尔姆:
假设在SVA环境中对STE属性进行担保验证。 108-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ZhuHHSG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ZhuHHSG09
何朱,飞鹤,威廉·N.洪,宋晓宇,明古:
基于数据挖掘的假设保证推理分解。 116-119

等价性检验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BaumgartnerMCSY09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BaumgartnerMCSY09
杰森·鲍姆加特纳,哈里·莫尼,迈克尔·凯斯,Jun Sawada先生,凯伦·约拉夫:
可伸缩的条件等价性检查：一种基于不变量生成的自动化方法。 120-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KhasidashviliKV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KhasidashviliKV09
苏拉布·卡西达什维利,马哈茂德·基纳纳,安德烈·沃伦科夫:
使用一阶逻辑定理证明器验证存储器的等效性。 128-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KhasidashviliKB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KhasidashviliKB09
苏拉布·卡西达什维利,达尔·凯斯,多伦·布斯坦:
硬件重启后观测等价性检查的组合理论。 136-143

调试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KenggV09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KengV09
布莱恩·肯,安德烈亚斯·维尼里斯:
使用插值进行超大规模集成电路设计调试。 144-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KonighoferHB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KonighoferHB09
罗伯特·科尼霍弗,乔治·霍夫雷克,罗德里克·布隆:
使用简单的反策略调试正式规范。 152-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/RayH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/RayH09
山迪雷,沃伦·亨特（Warren A.Hunt Jr.）。:
连接硅片前和硅片后验证。 160-163

案例研究和大规模验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Tverdyshev09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Tverdyshev09
谢尔盖·特弗迪舍夫:
网关级电子控制单元的验证平台。 164-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/OLearyTT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/OLearyTT09
约翰·奥利里,穆拉利·塔卢普尔,马克·塔特尔:
使用流进行协议验证：工业经验。 172-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcd/BinghamESA09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BinghamESA09
杰西·宾厄姆,约翰·埃里克森,高拉夫·辛格,弗莱明·安徒生:
工业强度精细化检查。 180-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BroekS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BroekS09
汤姆·范登·布鲁克,朱利安·施马耳茨:
走向一个正式验证的网上聊天。 184-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ErkokCW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ErkokCW09
勒文特·埃尔科克,马格纳斯,亚当·威克:
使用Cryptol对加密算法进行硬件/软件联合验证。 188-191

合成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/周09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/周09
海州:
对于顺序变换，使用扫描完成重新定时和重新合成。 192-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ArbelRY09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AberRY09
埃利·阿贝尔,奥列格·罗克伦科,凯伦·约拉夫:
基于SAT的时钟门控函数合成，使用3值抽象。 198-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CookGMRSSV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CookGMRSSV09
拜伦·库克,阿舒托什·古普塔,斯蒂芬·马吉尔,安德烈·里巴尔琴科,吉里·西姆萨,萨特南·辛格,维克托·瓦菲亚迪斯:
寻找硬件合成的堆边界。 205-212

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。