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-26DOI: 10.1007/978-3-030-72013-1_20
Sebastian Biewer, B. Finkbeiner, H. Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
{"title":"RTLola on Board: Testing Real Driving Emissions on your Phone","authors":"Sebastian Biewer, B. Finkbeiner, H. Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger","doi":"10.1007/978-3-030-72013-1_20","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_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":"61 2 1","pages":"365 - 372"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85870059","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_24
D. Beyer
{"title":"Software Verification: 10th Comparative Evaluation (SV-COMP 2021)","authors":"D. Beyer","doi":"10.1007/978-3-030-72013-1_24","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_24","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":"401 - 422"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88788654","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_4
Nikola Benes, L. Brim, Samuel Pastva, David Šafránek
{"title":"Symbolic Coloured SCC Decomposition","authors":"Nikola Benes, L. Brim, Samuel Pastva, David Šafránek","doi":"10.1007/978-3-030-72013-1_4","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_4","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":"12652 1","pages":"64 - 83"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87023924","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_25
Pavel S. Andrianov, V. Mutilin, A. Khoroshilov
{"title":"cpalockator: Thread-Modular Analysis with Projections","authors":"Pavel S. Andrianov, V. Mutilin, A. Khoroshilov","doi":"10.1007/978-3-030-72013-1_25","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_25","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":"2016 1","pages":"423 - 427"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86614312","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_32
P. Darke, Sakshi Agrawal, R. Venkatesh
{"title":"VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)","authors":"P. Darke, Sakshi Agrawal, R. Venkatesh","doi":"10.1007/978-3-030-72013-1_32","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_32","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":"458 - 462"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76636740","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_23
Maximilian A. Köhl, M. Klauck, H. Hermanns
{"title":"Momba: JANI Meets Python","authors":"Maximilian A. Köhl, M. Klauck, H. Hermanns","doi":"10.1007/978-3-030-72013-1_23","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_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":"18 1","pages":"389 - 398"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78743216","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_26
Hernán Ponce de León, Thomas Haas, R. Meyer
{"title":"Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)","authors":"Hernán Ponce de León, Thomas Haas, R. Meyer","doi":"10.1007/978-3-030-72013-1_26","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_26","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":"6 1","pages":"428 - 432"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72976564","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_22
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
{"title":"A Web Interface for Petri Nets with Transits and Petri Games","authors":"Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich","doi":"10.1007/978-3-030-72013-1_22","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_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":"12 1","pages":"381 - 388"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84214581","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_9
Giles Reger, Johannes Schoisswohl, A. Voronkov
{"title":"Making Theory Reasoning Simpler","authors":"Giles Reger, Johannes Schoisswohl, A. Voronkov","doi":"10.1007/978-3-030-72013-1_9","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_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":"51 1","pages":"164 - 180"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83303570","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 : 2021-02-26DOI: 10.1007/978-3-030-72013-1_27
Zsófia Ádám, G. Sallai, Á. Hajdu
{"title":"Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)","authors":"Zsófia Ádám, G. Sallai, Á. Hajdu","doi":"10.1007/978-3-030-72013-1_27","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_27","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":"130 3 1","pages":"433 - 437"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76598095","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
扫码关注我们
求助内容：
应助结果提醒方式：