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_14
Wytse Oortwijn, M. Huisman, Sebastiaan J. C. Joosten, J. Pol
{"title":"Automated Verification of Parallel Nested DFS","authors":"Wytse Oortwijn, M. Huisman, Sebastiaan J. C. Joosten, J. Pol","doi":"10.1007/978-3-030-45190-5_14","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_14","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":"247 - 265"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91528686","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_11
Alexander Lochmann, A. Middeldorp
{"title":"Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting","authors":"Alexander Lochmann, A. Middeldorp","doi":"10.1007/978-3-030-45237-7_11","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_11","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":"41 1","pages":"178 - 194"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91251103","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_31
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, J. Strejček, Tomáš Vojnar
{"title":"Symbiotic 7: Integration of Predator and More","authors":"Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, J. Strejček, Tomáš Vojnar","doi":"10.1007/978-3-030-45237-7_31","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_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":"43 1","pages":"413 - 417"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74994512","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_7
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, S. Khurshid
{"title":"A Study of Symmetry Breaking Predicates and Model Counting","authors":"Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, S. Khurshid","doi":"10.1007/978-3-030-45190-5_7","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_7","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":"2 1","pages":"115 - 134"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78788136","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_22
Alex Dixon, R. Lazic
{"title":"KReach: A Tool for Reachability in Petri Nets","authors":"Alex Dixon, R. Lazic","doi":"10.1007/978-3-030-45190-5_22","DOIUrl":"https://doi.org/10.1007/978-3-030-45190-5_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":"15 1","pages":"405 - 412"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90070546","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_26
Benjamin Quiring, P. Manolios
{"title":"GACAL: Conjecture-Based Verification","authors":"Benjamin Quiring, P. Manolios","doi":"10.1007/978-3-030-45237-7_26","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_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":"3 1","pages":"388 - 392"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78994558","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_21
D. Beyer
{"title":"Advances in Automatic Software Verification: SV-COMP 2020","authors":"D. Beyer","doi":"10.1007/978-3-030-45237-7_21","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_21","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":"347 - 367"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73973036","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_25
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, P. Darke, Ashutosh Gupta, Shrawan Kumar, M. CharlesBabu, Divyesh Unadkat, R. Venkatesh
{"title":"VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)","authors":"Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, P. Darke, Ashutosh Gupta, Shrawan Kumar, M. CharlesBabu, Divyesh Unadkat, R. Venkatesh","doi":"10.1007/978-3-030-45237-7_25","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_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":"19 1","pages":"383 - 387"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77727864","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_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_9
Karl Palmskog, Ahmet Çelik, Miloš Gligorić
{"title":"Practical Machine-Checked Formalization of Change Impact Analysis","authors":"Karl Palmskog, Ahmet Çelik, Miloš Gligorić","doi":"10.1007/978-3-030-45237-7_9","DOIUrl":"https://doi.org/10.1007/978-3-030-45237-7_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":"29 1","pages":"137 - 157"},"PeriodicalIF":0.0,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84744809","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
扫码关注我们
求助内容：
应助结果提醒方式：