Pub Date : 2014-11-18DOI: 10.1007/978-3-319-13338-6_20
A. Laarman, Anton Wijs
{"title":"Partial-Order Reduction for Multi-core LTL Model Checking","authors":"A. Laarman, Anton Wijs","doi":"10.1007/978-3-319-13338-6_20","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_20","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122768069","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 : 2014-11-18DOI: 10.1007/978-3-319-13338-6_16
J. Meijer, G. Kant, S. Blom, J. Pol
{"title":"Read, Write and Copy Dependencies for Symbolic Model Checking","authors":"J. Meijer, G. Kant, S. Blom, J. Pol","doi":"10.1007/978-3-319-13338-6_16","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_16","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123765646","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 : 2014-11-18DOI: 10.1007/978-3-319-13338-6_15
R. Bloem, S. Malik, Matthias Schlaipfer, Georg Weissenbacher
{"title":"Reduction of Resolution Refutations and Interpolants via Subsumption","authors":"R. Bloem, S. Malik, Matthias Schlaipfer, Georg Weissenbacher","doi":"10.1007/978-3-319-13338-6_15","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_15","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114902712","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 : 2014-11-18DOI: 10.1007/978-3-319-13338-6_10
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, R. Grosu, C. Pasareanu, A. Podelski, Thomas Strump
{"title":"Assume-Guarantee Abstraction Refinement Meets Hybrid Systems","authors":"Sergiy Bogomolov, Goran Frehse, Marius Greitschus, R. Grosu, C. Pasareanu, A. Podelski, Thomas Strump","doi":"10.1007/978-3-319-13338-6_10","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_10","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129941617","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 : 2014-11-18DOI: 10.1007/978-3-319-13338-6_19
M. R. Shoaei, L. Kovács, B. Lennartson
{"title":"Supervisory Control of Discrete-Event Systems via IC3","authors":"M. R. Shoaei, L. Kovács, B. Lennartson","doi":"10.1007/978-3-319-13338-6_19","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_19","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129854528","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 : 2014-11-18DOI: 10.1007/978-3-319-13338-6_18
Oliver Schwarz, M. Dam
{"title":"Formal Verification of Secure User Mode Device Execution with DMA","authors":"Oliver Schwarz, M. Dam","doi":"10.1007/978-3-319-13338-6_18","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_18","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122458898","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 : 2014-11-18DOI: 10.1007/978-3-319-13338-6_3
Georges Morbé, Christian Miller, Christoph Scholl, B. Becker
{"title":"Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems","authors":"Georges Morbé, Christian Miller, Christoph Scholl, B. Becker","doi":"10.1007/978-3-319-13338-6_3","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_3","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128121332","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 : 2014-11-18DOI: 10.1007/978-3-319-13338-6_4
Juan P. Galeotti, Carlo A. Furia, E. May, G. Fraser, A. Zeller
{"title":"DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification","authors":"Juan P. Galeotti, Carlo A. Furia, E. May, G. Fraser, A. Zeller","doi":"10.1007/978-3-319-13338-6_4","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_4","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127307823","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
扫码关注我们
求助内容：
应助结果提醒方式：