Pub Date : 2017-11-13DOI: 10.1007/978-3-319-70389-3_13
Leonardo S. Alt, A. Hyvärinen, N. Sharygina
{"title":"LRA Interpolants from No Man's Land","authors":"Leonardo S. Alt, A. Hyvärinen, N. Sharygina","doi":"10.1007/978-3-319-70389-3_13","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_13","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116920192","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-11-13DOI: 10.1007/978-3-319-70389-3_19
Luca Pulina, A. Tacchella
{"title":"More Adaptive Does not Imply Less Safe (with Formal Verification)","authors":"Luca Pulina, A. Tacchella","doi":"10.1007/978-3-319-70389-3_19","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_19","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117275985","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-11-13DOI: 10.1007/978-3-319-70389-3_1
C. Chau, W. Hunt, M. Roncken, I. Sutherland
{"title":"A Framework for Asynchronous Circuit Modeling and Verification in ACL2","authors":"C. Chau, W. Hunt, M. Roncken, I. Sutherland","doi":"10.1007/978-3-319-70389-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_1","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"468 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133212824","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-11-13DOI: 10.1007/978-3-319-70389-3_15
M. Chupilko, A. Kamkin, A. Kotsynyak, A. Tatarnikov
{"title":"MicroTESK: Specification-Based Tool for Constructing Test Program Generators","authors":"M. Chupilko, A. Kamkin, A. Kotsynyak, A. Tatarnikov","doi":"10.1007/978-3-319-70389-3_15","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_15","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134007709","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-11-13DOI: 10.1007/978-3-319-70389-3_18
Suvam Mukherjee, O. Padon, Sharon Shoham, D. D'Souza, N. Rinetzky
{"title":"RATCOP: Relational Analysis Tool for Concurrent Programs","authors":"Suvam Mukherjee, O. Padon, Sharon Shoham, D. D'Souza, N. Rinetzky","doi":"10.1007/978-3-319-70389-3_18","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_18","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114696675","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-11-13DOI: 10.1007/978-3-319-70389-3_16
G. B. Sherwood
{"title":"Embedded Functions for Test Design Automation","authors":"G. B. Sherwood","doi":"10.1007/978-3-319-70389-3_16","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_16","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115856936","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-11-13DOI: 10.1007/978-3-319-70389-3_8
Koen Claessen, Jonatan Kilhamn, L. Kovács, B. Lennartson
{"title":"A Supervisory Control Algorithm Based on Property-Directed Reachability","authors":"Koen Claessen, Jonatan Kilhamn, L. Kovács, B. Lennartson","doi":"10.1007/978-3-319-70389-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_8","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129750028","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-11-13DOI: 10.1007/978-3-319-70389-3_3
J. Kloos, R. Majumdar, Frank McCabe
{"title":"Deferrability Analysis for JavaScript","authors":"J. Kloos, R. Majumdar, Frank McCabe","doi":"10.1007/978-3-319-70389-3_3","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_3","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"178 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126763448","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-11-13DOI: 10.1007/978-3-319-70389-3_4
Tatsuya Abe
{"title":"A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models","authors":"Tatsuya Abe","doi":"10.1007/978-3-319-70389-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_4","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129236719","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
扫码关注我们
求助内容：
应助结果提醒方式：