发布求助
文献互助 智能选刊 最新文献

2016 Formal Methods in Computer-Aided Design (FMCAD)最新文献

筛选
英文 中文
Parameterized Vacuity 参数化的空虚
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2004-01-01 DOI: 10.1007/978-3-540-30494-4_23
M. Samer, H. Veith
{"title":"Parameterized Vacuity","authors":"M. Samer, H. Veith","doi":"10.1007/978-3-540-30494-4_23","DOIUrl":"https://doi.org/10.1007/978-3-540-30494-4_23","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"18 1","pages":"322-336"},"PeriodicalIF":0.0,"publicationDate":"2004-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81990487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem 利用泰勒定理对平方根算法的力学验证
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_17
J. Sawada, Ruben Gamboa
{"title":"Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem","authors":"J. Sawada, Ruben Gamboa","doi":"10.1007/3-540-36126-X_17","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_17","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"28 1","pages":"274-291"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77038666","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 31
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis 基于SAT冲突分析的大状态空间模型检测的自动抽象细化
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_3
P. Chauhan, E. Clarke, J. Kukula, Samir Sapra, H. Veith, Dong Wang
{"title":"Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis","authors":"P. Chauhan, E. Clarke, J. Kukula, Samir Sapra, H. Veith, Dong Wang","doi":"10.1007/3-540-36126-X_3","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_3","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"40 1","pages":"33-51"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76030508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 158
Relating Multi-step and Single-Step Microprocessor Correctness Statements 有关多步和单步微处理器正确性声明
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_8
M. Aagaard, N. Day, Meng Lou
{"title":"Relating Multi-step and Single-Step Microprocessor Correctness Statements","authors":"M. Aagaard, N. Day, Meng Lou","doi":"10.1007/3-540-36126-X_8","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_8","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"14 1","pages":"123-141"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86678291","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Sharp Disjunctive Decomposition for Language Emptiness Checking 语言空性检查的尖锐析取分解
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_7
Chao Wang, G. Hachtel
{"title":"Sharp Disjunctive Decomposition for Language Emptiness Checking","authors":"Chao Wang, G. Hachtel","doi":"10.1007/3-540-36126-X_7","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_7","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"30 1","pages":"106-122"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88656171","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Simplifying Circuits for Formal Verification Using Parametric Representation 用参数表示简化形式验证电路
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_4
In-Ho Moon, Hee-Hwan Kwak, J. Kukula, T. Shiple, C. Pixley
{"title":"Simplifying Circuits for Formal Verification Using Parametric Representation","authors":"In-Ho Moon, Hee-Hwan Kwak, J. Kukula, T. Shiple, C. Pixley","doi":"10.1007/3-540-36126-X_4","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_4","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"32 1","pages":"52-69"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90300418","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Functional Design Using Behavioural and Structural Components 使用行为和结构组件的功能设计
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_20
Richard Sharp
{"title":"Functional Design Using Behavioural and Structural Components","authors":"Richard Sharp","doi":"10.1007/3-540-36126-X_20","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_20","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"114 1","pages":"324-341"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87948605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Fixpoint Based Encoding for Bounded Model Checking 基于不动点的有界模型检测编码
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_15
Alan M. Frisch, Daniel Sheridan, T. Walsh
{"title":"A Fixpoint Based Encoding for Bounded Model Checking","authors":"Alan M. Frisch, Daniel Sheridan, T. Walsh","doi":"10.1007/3-540-36126-X_15","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_15","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"2012 1","pages":"238-255"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86365173","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Traversal Techniques for Concurrent Systems 并发系统的遍历技术
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_14
Marc Solé, E. Pastor
{"title":"Traversal Techniques for Concurrent Systems","authors":"Marc Solé, E. Pastor","doi":"10.1007/3-540-36126-X_14","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_14","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"8 1","pages":"220-237"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90361935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Abstraction by Symbolic Indexing Transformations 符号索引转换的抽象
2016 Formal Methods in Computer-Aided Design (FMCAD) Pub Date : 2002-11-06 DOI: 10.1007/3-540-36126-X_1
T. Melham, Robert B. Jones
{"title":"Abstraction by Symbolic Indexing Transformations","authors":"T. Melham, Robert B. Jones","doi":"10.1007/3-540-36126-X_1","DOIUrl":"https://doi.org/10.1007/3-540-36126-X_1","url":null,"abstract":"","PeriodicalId":6479,"journal":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","volume":"583 1","pages":"1-18"},"PeriodicalIF":0.0,"publicationDate":"2002-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77081499","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信