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

Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...最新文献

筛选
英文 中文
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic 注意差距:位矢量插值在线性整数算法上的重铸
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45190-5_5
Takamasa Okudono, A. King
{"title":"Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic","authors":"Takamasa Okudono, A. King","doi":"10.1007/978-3-030-45190-5_5","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_5","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"235 1","pages":"79 - 96"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80342710","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
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution) COASTAL:结合Concolic和Fuzzing实现Java(竞赛贡献)
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45237-7_23
W. Visser, J. Geldenhuys
{"title":"COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)","authors":"W. Visser, J. Geldenhuys","doi":"10.1007/978-3-030-45237-7_23","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_23","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"23 1","pages":"373 - 377"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86062719","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
Verifying Quantum Communication Protocols with Ground Bisimulation 用地面双仿真验证量子通信协议
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45237-7_2
Xudong Qin, Yuxin Deng, Wenjie Du
{"title":"Verifying Quantum Communication Protocols with Ground Bisimulation","authors":"Xudong Qin, Yuxin Deng, Wenjie Du","doi":"10.1007/978-3-030-45237-7_2","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_2","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"540 1","pages":"21 - 38"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87452533","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}
引用次数: 1
AVR: Abstractly Verifying Reachability AVR:抽象地验证可达性
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45190-5_23
Aman Goel, K. Sakallah
{"title":"AVR: Abstractly Verifying Reachability","authors":"Aman Goel, K. Sakallah","doi":"10.1007/978-3-030-45190-5_23","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_23","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"23 1","pages":"413 - 422"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84821738","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}
引用次数: 18
Highly Automated Formal Proofs over Memory Usage of Assembly Code 汇编代码内存使用的高度自动化形式化证明
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45237-7_6
Freek Verbeek, Joshua A. Bockenek, B. Ravindran
{"title":"Highly Automated Formal Proofs over Memory Usage of Assembly Code","authors":"Freek Verbeek, Joshua A. Bockenek, B. Ravindran","doi":"10.1007/978-3-030-45237-7_6","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_6","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"23 1","pages":"98 - 117"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74796632","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}
引用次数: 1
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers 用SMT求解器自动合成Lyapunov函数
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45190-5_6
D. Ahmed, Andrea Peruffo, A. Abate
{"title":"Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers","authors":"D. Ahmed, Andrea Peruffo, A. Abate","doi":"10.1007/978-3-030-45190-5_6","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_6","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"67 1","pages":"97 - 114"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76702378","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
Safe Decomposition of Startup Requirements: Verification and Synthesis 启动需求的安全分解:验证与综合
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45190-5_9
A. Cimatti, Luca Geatti, A. Griggio, Greg Kimberly, Stefano Tonetta
{"title":"Safe Decomposition of Startup Requirements: Verification and Synthesis","authors":"A. Cimatti, Luca Geatti, A. Griggio, Greg Kimberly, Stefano Tonetta","doi":"10.1007/978-3-030-45190-5_9","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_9","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"13 1","pages":"155 - 172"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76707228","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
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware 同步硬件中深度Bug查找的偏序约简
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45190-5_20
Makai Mann, Clark W. Barrett
{"title":"Partial Order Reduction for Deep Bug Finding in Synchronous Hardware","authors":"Makai Mann, Clark W. Barrett","doi":"10.1007/978-3-030-45190-5_20","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_20","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"14 1","pages":"367 - 386"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73816109","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
2LS: Heap Analysis and Memory Safety 堆分析和内存安全
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45237-7_22
Viktor Malík, Martin Hruska, P. Schrammel, Tomáš Vojnar
{"title":"2LS: Heap Analysis and Memory Safety","authors":"Viktor Malík, Martin Hruska, P. Schrammel, Tomáš Vojnar","doi":"10.1007/978-3-030-45237-7_22","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_22","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"61 1","pages":"368 - 372"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84558912","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}
引用次数: 1
Software Verification with PDR: An Implementation of the State of the Art 使用PDR的软件验证:最新技术的实现
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2020-03-13 DOI: 10.1007/978-3-030-45190-5_1
D. Beyer, Matthias Dangl
{"title":"Software Verification with PDR: An Implementation of the State of the Art","authors":"D. Beyer, Matthias Dangl","doi":"10.1007/978-3-030-45190-5_1","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_1","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"191 1","pages":"3 - 21"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75649786","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
首页 上一页 下一页 尾页
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学术官方微信