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

International School on Formal Methods for the Design of Computer, Communication and Software Systems最新文献

筛选
英文 中文
Stochastic Model Checking 随机模型检验
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2007-05-28 DOI: 10.1007/978-3-540-72522-0_6
M. Kwiatkowska, G. Norman, D. Parker
{"title":"Stochastic Model Checking","authors":"M. Kwiatkowska, G. Norman, D. Parker","doi":"10.1007/978-3-540-72522-0_6","DOIUrl":"https://doi.org/10.1007/978-3-540-72522-0_6","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129630898","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}
引用次数: 602
A Survey of Markovian Behavioral Equivalences 马尔可夫行为等价研究综述
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2007-05-28 DOI: 10.1007/978-3-540-72522-0_5
M. Bernardo
{"title":"A Survey of Markovian Behavioral Equivalences","authors":"M. Bernardo","doi":"10.1007/978-3-540-72522-0_5","DOIUrl":"https://doi.org/10.1007/978-3-540-72522-0_5","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116328779","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
Building Efficient Decision Procedures on Top of SAT Solvers 基于SAT求解器构建高效决策程序
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_6
A. Cimatti, R. Sebastiani
{"title":"Building Efficient Decision Procedures on Top of SAT Solvers","authors":"A. Cimatti, R. Sebastiani","doi":"10.1007/11757283_6","DOIUrl":"https://doi.org/10.1007/11757283_6","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121743835","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}
引用次数: 8
Floating-Point Verification Using Theorem Proving 使用定理证明的浮点验证
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_8
J. Harrison
{"title":"Floating-Point Verification Using Theorem Proving","authors":"J. Harrison","doi":"10.1007/11757283_8","DOIUrl":"https://doi.org/10.1007/11757283_8","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122502581","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}
引用次数: 57
Automatic Test Pattern Generation 自动测试模式生成
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_2
R. Drechsler, G. Fey
{"title":"Automatic Test Pattern Generation","authors":"R. Drechsler, G. Fey","doi":"10.1007/11757283_2","DOIUrl":"https://doi.org/10.1007/11757283_2","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131554628","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}
引用次数: 24
Hardware Design and Simulation for Verification 硬件设计与仿真验证
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_1
N. Bombieri, F. Fummi, G. Pravadelli
{"title":"Hardware Design and Simulation for Verification","authors":"N. Bombieri, F. Fummi, G. Pravadelli","doi":"10.1007/11757283_1","DOIUrl":"https://doi.org/10.1007/11757283_1","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"328 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115455622","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
SAT-Based Verification Methods and Applications in Hardware Verification 基于sat的验证方法及其在硬件验证中的应用
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_5
Aarti Gupta, Malay K. Ganai, Chao Wang
{"title":"SAT-Based Verification Methods and Applications in Hardware Verification","authors":"Aarti Gupta, Malay K. Ganai, Chao Wang","doi":"10.1007/11757283_5","DOIUrl":"https://doi.org/10.1007/11757283_5","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115403455","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}
引用次数: 32
Refinement and Theorem Proving 改进与定理证明
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_7
P. Manolios
{"title":"Refinement and Theorem Proving","authors":"P. Manolios","doi":"10.1007/11757283_7","DOIUrl":"https://doi.org/10.1007/11757283_7","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116874532","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}
引用次数: 0
BDD-Based Hardware Verification 基于bdd的硬件验证
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_4
G. Cabodi, M. Murciano
{"title":"BDD-Based Hardware Verification","authors":"G. Cabodi, M. Murciano","doi":"10.1007/11757283_4","DOIUrl":"https://doi.org/10.1007/11757283_4","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117125175","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}
引用次数: 9
An Introduction to Symbolic Trajectory Evaluation 符号轨迹评估导论
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2006-05-22 DOI: 10.1007/11757283_3
Koen Claessen, J. Roorda
{"title":"An Introduction to Symbolic Trajectory Evaluation","authors":"Koen Claessen, J. Roorda","doi":"10.1007/11757283_3","DOIUrl":"https://doi.org/10.1007/11757283_3","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134106182","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}
引用次数: 3
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信