停止战争！

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

对于科学家：

默认搜索操作

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

问别人

12.CHARME 2003：意大利拉奎拉

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/2003
丹尼尔·盖斯特,恩里科·特隆西:
《正确的硬件设计和验证方法》，第12届IFIP WG 10.5高级研究工作会议，CHARME 2003，意大利拉奎拉，2003年10月21日至24日，会议记录。计算机科学课堂讲稿2860,施普林格 2003，十亿3-540-20363-X型

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Roesner03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Roesner03
沃尔夫冈·罗斯纳:
微处理器和系统设计的RTL地平线之外是什么？ 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Somenzi03号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Somenzi03网址
法比奥·萨蒙齐:
抽象实体的魅力。 2

辅导的

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Geist03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Geist03
丹尼尔·盖斯特:
PSL/糖规范语言是一种适用于所有季节的语言。三

软件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Sheeran03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Sheeran03
玛丽·希兰:
寻找规律：描述和分析不太规则的电路。 4-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/ChakiCGS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/ChakiCGS03
萨加尔·查基,埃德蒙·克拉克,亚历克斯·格罗斯,奥弗·斯特里赫曼:
具有最小谓词的谓词抽象。 19-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/BannerR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/BarnerR03
白珊润,伊斯海·拉比诺维茨:
使用部分析取分区对软件进行有效的符号模型检查。 35-50

处理器验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/BeyerJKLP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/BeyerJKLP03
斯文·拜尔,克里斯蒂安·雅各比,丹尼尔·克罗宁,德克·莱恩巴赫,沃尔夫冈·保罗:
实例化未解释的功能单元和记忆系统：VAMP的功能验证。 51-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Aagaard03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Aagaard03
马克·D·阿加德:
流水线电路基于危险的正确性声明。 66-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/YangGLS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/YangGLS03
岳阳,加内什·戈帕拉克里什南,加里·林德斯特罗姆,康拉德·斯林德:
使用逻辑编程和SAT分析英特尔安腾内存排序规则。 81-95

基于自动机的方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/GurmurthyKSV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/GurmurthyKSV03
桑卡·古鲁穆蒂,奥尔娜·库普弗曼,法比奥·萨蒙齐,莫舍·瓦尔迪:
关于非确定性Büchi自动机的补充。 96-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/ChocklerKV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/ChocklerKV03
哈娜·查克勒,奥尔娜·库普夫曼,莫舍·瓦尔迪:
正式验证的覆盖率指标。 111-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/塞巴斯蒂亚尼T03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/SebastianiT03
罗伯托·塞巴斯蒂亚尼,斯特凡诺·托内塔:
有效LTL模型检查的“更确定”与“更小”Büchi自动机。 126-140

短文1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/TzorefMBB03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/TzorefMBB03
雷切尔·索雷夫,马克·马图塞维奇,埃利·伯杰,伊兰啤酒:
一个优化的符号有界模型检查引擎。 141-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/carme/SammaneTSOB03会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/SammaneTSOB03
吉亚斯·萨马内,戴安娜·托马斯,朱利安·施马耳茨,皮埃尔·奥斯蒂尔,多米尼克·博里奥内:
使用Mathematica和ACL2进行约束符号模拟。 150-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Au-HaimedBD03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Au-HaimedBD03
胡萨姆·阿布·海姆,谢尔盖·贝雷津,大卫·L·迪尔:
通过符号模拟对记忆系统进行半形式验证。 158-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/carme/RouxE03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/RouxE03
塞德里克·鲁克斯,Emmanuelle Encrenaz公司:
模型检查摩尔机器时，CTL可能不明确。 164-169

规范方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/HuCY03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/HuCY03
艾伦·J·胡,杰里米·卡斯,金阳:
关于GSTE断言图的推理。 170-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Fisler03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Fisler03网址
凯西·菲斯勒:
事件序列语言中的可图性和效率。 185-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/戈登HS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/GordonHS03
迈克尔·J·C·戈登,乔·赫德,康拉德·斯林德:
通过机械化定理证明执行Accellera属性规范语言的形式语义。 200-215

协议验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/艾默生W03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/EmersonW03
E.艾伦·艾默生,托马斯·沃尔:
将对称约简和符号表示结合起来进行有效的模型检查。 216-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/LayouniHT03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/LayouniHT03
穆罕默德·拉尤尼,乔泽夫·胡曼,索菲涅·塔哈尔:
关于入侵容忍组通信协议的正确性。 231-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/艾默生K03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/EmersonK03
E.艾伦·艾默生,维尼特·卡隆:
参数化缓存一致性协议的准确有效验证。 247-262

短文2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Hymans03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Hymans03
查尔斯·海曼斯:
VHDL抽象解释器的设计与实现。 263-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Beringer03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Beringer03网址
伦纳特·贝林格:
基于编程语言的操作数转发分析。 270-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/PennaIMTZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/PennaIMTZ03
朱塞佩·德尔拉·佩纳,贝内代托·因特里吉拉,伊戈尔·梅拉蒂,恩里科·特隆西,玛丽莎·文丘里尼·齐利:
在Mur-phi验证程序中集成RAM和基于磁盘的验证。 277-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Singh03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Singh03
萨特南·辛格:
使用Esterel设计和验证CoreConnectTM IP。 283-288

定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Moore03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Moore03网址
J斯特罗瑟·摩尔:
归纳断言和操作语义。 289-303
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Manolios03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Manolios03网址
Manolios帕纳焦蒂斯:
分支时间细化的合成理论。 304-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/HuntKM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/HuntKM03
沃伦·亨特（Warren A.Hunt Jr.）。,罗伯特·贝拉明·克鲁格,J斯特罗瑟·摩尔:
ACL2中的线性和非线性算法。 319-333

有界模型校验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/GanaiGYA03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/GanaiGYA03网址
马来语K.Ganai,阿尔蒂·古普塔,资江杨,普拉纳夫·阿沙尔:
高效的分布式SAT和基于SAT的分布式有界模型检查。 334-347
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/BryantLS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/BryantLS03
兰达尔·布莱恩特,Shuvendu K.Lahiri公司,桑吉特·塞希亚:
Term-Level有界模型检验中的收敛性测试。 348-362
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/LangbergPR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/LangbergPR03
迈克尔·朗伯格,阿米尔·普努利,约夫·罗德:
简单CNF公式的ROBDD大小。 363-377

模型检查和应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/PastorP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/PastorP03
恩里克牧师,马可·佩尼亚:
异步并发系统的高效混合可达性分析。 378-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/PennaIMTZ03a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/PennaIMTZ03a
朱塞佩·德尔拉·佩纳,贝内代托·因特里吉拉,伊戈尔·梅拉蒂,恩里科·特隆西,玛丽莎·文丘里尼·齐利:
用Mur-phi检验器对马尔可夫链进行有限域分析。 394-409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/IyerSSNJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/IyerSSNJ03
Subramanian K.Iyer公司,德巴希斯·萨胡,克里斯蒂安·斯坦吉尔,阿米特·纳拉扬,贾瓦哈·贾因:
使用分区技术改进了符号验证。 410-424

服务

管理网站设置

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