Pub Date : 2017-10-03DOI: 10.1007/978-3-319-68167-2_28
Antonio Anastasio Bruto da Costa, P. Dasgupta
{"title":"ForFET: A Formal Feature Evaluation Tool for Hybrid Systems","authors":"Antonio Anastasio Bruto da Costa, P. Dasgupta","doi":"10.1007/978-3-319-68167-2_28","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_28","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126128473","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_9
M. Dashti, D. Basin
{"title":"Tests and Refutation","authors":"M. Dashti, D. Basin","doi":"10.1007/978-3-319-68167-2_9","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_9","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"2 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116768622","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_7
Jean-Yves Moyen, Thomas Rubiano, T. Seiller
{"title":"Loop Quasi-Invariant Chunk Detection","authors":"Jean-Yves Moyen, Thomas Rubiano, T. Seiller","doi":"10.1007/978-3-319-68167-2_7","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_7","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121598013","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_15
M. Diaz, Tayssir Touili
{"title":"Dealing with Priorities and Locks for Concurrent Programs","authors":"M. Diaz, Tayssir Touili","doi":"10.1007/978-3-319-68167-2_15","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_15","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130291080","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_14
Zuzana Baranová, J. Barnat, Katarína Kejstová, T. Kucera, Henrich Lauko, J. Mrázek, Petr Ročkai, V. Still
{"title":"Model Checking of C and C++ with DIVINE 4","authors":"Zuzana Baranová, J. Barnat, Katarína Kejstová, T. Kucera, Henrich Lauko, J. Mrázek, Petr Ročkai, V. Still","doi":"10.1007/978-3-319-68167-2_14","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_14","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134207737","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_8
S. Bandyopadhyay, S. Sarkar, D. Sarkar, C. Mandal
{"title":"SamaTulyata: An Efficient Path Based Equivalence Checking Tool","authors":"S. Bandyopadhyay, S. Sarkar, D. Sarkar, C. Mandal","doi":"10.1007/978-3-319-68167-2_8","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_8","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124957530","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_20
Manuel Montenegro, S. Nieva, Ricardo Peña-Marí, Clara Segura
{"title":"Liquid Types for Array Invariant Synthesis","authors":"Manuel Montenegro, S. Nieva, Ricardo Peña-Marí, Clara Segura","doi":"10.1007/978-3-319-68167-2_20","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_20","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127751958","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_12
Kumar Madhukar, P. Schrammel, M. Srivas
{"title":"Compositional Safety Refutation Techniques","authors":"Kumar Madhukar, P. Schrammel, M. Srivas","doi":"10.1007/978-3-319-68167-2_12","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_12","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114498833","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_16
A. Khadir, Madhavan Mukund, S. P. Suresh
{"title":"Knowledge Transfer and Information Leakage in Protocols","authors":"A. Khadir, Madhavan Mukund, S. P. Suresh","doi":"10.1007/978-3-319-68167-2_16","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_16","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130166815","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 : 2017-10-03DOI: 10.1007/978-3-319-68167-2_11
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
{"title":"HyLeak: Hybrid Analysis Tool for Information Leakage","authors":"Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez","doi":"10.1007/978-3-319-68167-2_11","DOIUrl":"https://doi.org/10.1007/978-3-319-68167-2_11","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126856748","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：