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

Automated Technology for Verification and Analysis最新文献

筛选
英文 中文
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems ForFET:一种用于混合系统的形式化特征评估工具
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_28
Antonio Anastasio Bruto da Costa, P. Dasgupta
{"title":"ForFET: A Formal Feature Evaluation Tool for Hybrid Systems","authors":"Antonio Anastasio Bruto da Costa, P. Dasgupta","doi":"10.1007/978-3-319-68167-2_28","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_28","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126128473","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
Tests and Refutation 检验与反驳
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_9
M. Dashti, D. Basin
{"title":"Tests and Refutation","authors":"M. Dashti, D. Basin","doi":"10.1007/978-3-319-68167-2_9","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_9","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"2 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116768622","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
Loop Quasi-Invariant Chunk Detection 循环准不变块检测
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_7
Jean-Yves Moyen, Thomas Rubiano, T. Seiller
{"title":"Loop Quasi-Invariant Chunk Detection","authors":"Jean-Yves Moyen, Thomas Rubiano, T. Seiller","doi":"10.1007/978-3-319-68167-2_7","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_7","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121598013","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}
引用次数: 7
Dealing with Priorities and Locks for Concurrent Programs 并发程序的优先级和锁处理
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_15
M. Diaz, Tayssir Touili
{"title":"Dealing with Priorities and Locks for Concurrent Programs","authors":"M. Diaz, Tayssir Touili","doi":"10.1007/978-3-319-68167-2_15","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_15","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130291080","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
Model Checking of C and C++ with DIVINE 4 用DIVINE检查C和c++的模型
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_14
Zuzana Baranová, J. Barnat, Katarína Kejstová, T. Kucera, Henrich Lauko, J. Mrázek, Petr Ročkai, V. Still
{"title":"Model Checking of C and C++ with DIVINE 4","authors":"Zuzana Baranová, J. Barnat, Katarína Kejstová, T. Kucera, Henrich Lauko, J. Mrázek, Petr Ročkai, V. Still","doi":"10.1007/978-3-319-68167-2_14","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_14","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134207737","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}
引用次数: 56
SamaTulyata: An Efficient Path Based Equivalence Checking Tool SamaTulyata:一个有效的基于路径的等价性检查工具
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_8
S. Bandyopadhyay, S. Sarkar, D. Sarkar, C. Mandal
{"title":"SamaTulyata: An Efficient Path Based Equivalence Checking Tool","authors":"S. Bandyopadhyay, S. Sarkar, D. Sarkar, C. Mandal","doi":"10.1007/978-3-319-68167-2_8","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_8","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124957530","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}
引用次数: 10
Liquid Types for Array Invariant Synthesis 阵列不变合成的液体类型
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_20
Manuel Montenegro, S. Nieva, Ricardo Peña-Marí, Clara Segura
{"title":"Liquid Types for Array Invariant Synthesis","authors":"Manuel Montenegro, S. Nieva, Ricardo Peña-Marí, Clara Segura","doi":"10.1007/978-3-319-68167-2_20","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_20","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127751958","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}
引用次数: 4
Compositional Safety Refutation Techniques 成分安全反驳技术
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_12
Kumar Madhukar, P. Schrammel, M. Srivas
{"title":"Compositional Safety Refutation Techniques","authors":"Kumar Madhukar, P. Schrammel, M. Srivas","doi":"10.1007/978-3-319-68167-2_12","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_12","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114498833","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
Knowledge Transfer and Information Leakage in Protocols 协议中的知识转移与信息泄漏
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_16
A. Khadir, Madhavan Mukund, S. P. Suresh
{"title":"Knowledge Transfer and Information Leakage in Protocols","authors":"A. Khadir, Madhavan Mukund, S. P. Suresh","doi":"10.1007/978-3-319-68167-2_16","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_16","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130166815","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
HyLeak: Hybrid Analysis Tool for Information Leakage HyLeak:信息泄露混合分析工具
Automated Technology for Verification and Analysis Pub Date : 2017-10-03 DOI: 10.1007/978-3-319-68167-2_11
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
{"title":"HyLeak: Hybrid Analysis Tool for Information Leakage","authors":"Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez","doi":"10.1007/978-3-319-68167-2_11","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_11","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126856748","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
首页 上一页
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学术官方微信