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-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
Pub Date : 2020-03-13DOI: 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}
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, ...
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：