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

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, ...最新文献

筛选
英文 中文
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities 将基础设施分析为代码以防止更新内部狙击漏洞
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_6
Julien Lepiller, R. Piskac, Martin Schäf, Mark Santolucito
{"title":"Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities","authors":"Julien Lepiller, R. Piskac, Martin Schäf, Mark Santolucito","doi":"10.1007/978-3-030-72013-1_6","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_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":"39 1","pages":"105 - 123"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76939043","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
Towards String Support in JayHorn (Competition Contribution) JayHorn实现字符串支持(竞赛贡献)
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_29
Ali Shamakhi, Hossein Hojjat, Philipp Rümmer
{"title":"Towards String Support in JayHorn (Competition Contribution)","authors":"Ali Shamakhi, Hossein Hojjat, Philipp Rümmer","doi":"10.1007/978-3-030-72013-1_29","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_29","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":"54 1","pages":"443 - 447"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82102211","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
Bridging Arrays and ADTs in Recursive Proofs 递归证明中的桥接数组和adt
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_2
Grigory Fedyukovich, G. Ernst
{"title":"Bridging Arrays and ADTs in Recursive Proofs","authors":"Grigory Fedyukovich, G. Ernst","doi":"10.1007/978-3-030-72013-1_2","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_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":"23 1","pages":"24 - 42"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80522025","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
Symbiotic 8: Beyond Symbolic Execution 共生8:超越象征性执行
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_31
Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, J. Strejček
{"title":"Symbiotic 8: Beyond Symbolic Execution","authors":"Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, J. Strejček","doi":"10.1007/978-3-030-72013-1_31","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_31","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":"63 1","pages":"453 - 457"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77806706","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
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) jart:组合求解，广度优先搜索和SMT-Lib字符串(竞赛贡献)
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_30
M. Mues, Falk Howar
{"title":"JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)","authors":"M. Mues, Falk Howar","doi":"10.1007/978-3-030-72013-1_30","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_30","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":"65 1","pages":"448 - 452"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83950745","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
Syntax-Guided Quantifier Instantiation 语法引导量词实例化
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_8
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, C. Tinelli
{"title":"Syntax-Guided Quantifier Instantiation","authors":"Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, C. Tinelli","doi":"10.1007/978-3-030-72013-1_8","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_8","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":"1 1","pages":"145 - 163"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74272199","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
cake_lpr: Verified Propagation Redundancy Checking in CakeML cake_lpr: CakeML中已验证的传播冗余检查
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_12
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen
{"title":"cake_lpr: Verified Propagation Redundancy Checking in CakeML","authors":"Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen","doi":"10.1007/978-3-030-72013-1_12","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_12","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":"53 1","pages":"223 - 241"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89793541","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
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints Goblint:使用副作用约束的线程模块化抽象解释
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_28
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, H. Seidl, Ralf Vogler, Vesal Vojdani
{"title":"Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints","authors":"Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, H. Seidl, Ralf Vogler, Vesal Vojdani","doi":"10.1007/978-3-030-72013-1_28","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_28","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":"16 1","pages":"438 - 442"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84374613","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
AMulet 2.0 for Verifying Multiplier Circuits 验证乘法器电路的护身符2.0
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_19
Daniela Kaufmann, Armin Biere
{"title":"AMulet 2.0 for Verifying Multiplier Circuits","authors":"Daniela Kaufmann, Armin Biere","doi":"10.1007/978-3-030-72013-1_19","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_19","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":"24 1","pages":"357 - 364"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83288721","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}
引用次数: 12
HLola: a Very Functional Tool for Extensible Stream Runtime Verification hola:一个非常实用的可扩展流运行时验证工具
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 : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_18
Felipe Gorostiaga, César Sánchez
{"title":"HLola: a Very Functional Tool for Extensible Stream Runtime Verification","authors":"Felipe Gorostiaga, César Sánchez","doi":"10.1007/978-3-030-72013-1_18","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_18","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":"38 1","pages":"349 - 356"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79281808","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
首页 上一页 下一页 尾页
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学术官方微信