2017硬件模型检测大赛

2017 Formal Methods in Computer Aided Design (FMCAD) Pub Date : 2017-10-02 DOI:10.23919/FMCAD.2017.8102233

Armin Biere, T. V. Dijk, Keijo Heljanko

{"title":"2017硬件模型检测大赛","authors":"Armin Biere, T. V. Dijk, Keijo Heljanko","doi":"10.23919/FMCAD.2017.8102233","DOIUrl":null,"url":null,"abstract":"The Hardware Model Checking Competition (HWMCC) 2017 affiliated to the International Conference on Formal Methods in Computer Aided Design (FMCAD) in 2017 in Vienna was the 9th competitive event for hardware model checkers we organized. After HWMCC'15 affiliated with FMCAD'15 in Austin, the competition took a break in 2016.","PeriodicalId":405292,"journal":{"name":"2017 Formal Methods in Computer Aided Design (FMCAD)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"33","resultStr":"{\"title\":\"Hardware model checking competition 2017\",\"authors\":\"Armin Biere, T. V. Dijk, Keijo Heljanko\",\"doi\":\"10.23919/FMCAD.2017.8102233\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Hardware Model Checking Competition (HWMCC) 2017 affiliated to the International Conference on Formal Methods in Computer Aided Design (FMCAD) in 2017 in Vienna was the 9th competitive event for hardware model checkers we organized. After HWMCC'15 affiliated with FMCAD'15 in Austin, the competition took a break in 2016.\",\"PeriodicalId\":405292,\"journal\":{\"name\":\"2017 Formal Methods in Computer Aided Design (FMCAD)\",\"volume\":\"49 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-10-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"33\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 Formal Methods in Computer Aided Design (FMCAD)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.23919/FMCAD.2017.8102233\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 Formal Methods in Computer Aided Design (FMCAD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.23919/FMCAD.2017.8102233","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 33

摘要

2017硬件模型检查比赛(HWMCC)隶属于2017年在维也纳举行的计算机辅助设计正式方法国际会议(FMCAD)，是我们组织的第9届硬件模型检查比赛。继2015年在奥斯汀与FMCAD合作后，2016年该比赛暂停了。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Hardware model checking competition 2017

The Hardware Model Checking Competition (HWMCC) 2017 affiliated to the International Conference on Formal Methods in Computer Aided Design (FMCAD) in 2017 in Vienna was the 9th competitive event for hardware model checkers we organized. After HWMCC'15 affiliated with FMCAD'15 in Austin, the competition took a break in 2016.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2017 Formal Methods in Computer Aided Design (FMCAD)

自引率

0.00%

发文量

期刊最新文献

Lasso detection using partial-state caching How formal analysis and verification add security to blockchain-based systems Efficient generation of all minimal inductive validity cores Hardware model checking competition 2017 The FMCAD 2017 graduate student forum