Pub Date : 2013-11-05DOI: 10.1007/978-3-319-03077-7_5
Sunha Ahn, S. Malik
{"title":"Modeling Firmware as Service Functions and Its Application to Test Generation","authors":"Sunha Ahn, S. Malik","doi":"10.1007/978-3-319-03077-7_5","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_5","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125363640","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 : 2013-11-05DOI: 10.1007/978-3-319-03077-7_4
Tim Lange, M. Neuhäußer, T. Noll
{"title":"Speeding Up the Safety Verification of Programmable Logic Controller Code","authors":"Tim Lange, M. Neuhäußer, T. Noll","doi":"10.1007/978-3-319-03077-7_4","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_4","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114148512","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 : 2013-11-05DOI: 10.1007/978-3-319-03077-7_23
S. Bensalem, Borzoo Bonakdarpour, M. Bozga, D. Peled, J. Quilbeuf
{"title":"Performance Evaluation of Process Partitioning Using Probabilistic Model Checking","authors":"S. Bensalem, Borzoo Bonakdarpour, M. Bozga, D. Peled, J. Quilbeuf","doi":"10.1007/978-3-319-03077-7_23","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_23","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126331063","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 : 2013-11-05DOI: 10.1007/978-3-319-03077-7_18
S. Apel, Dirk Beyer, Karlheinz Friedberger, F. Raimondi, Alexander von Rhein
{"title":"Domain Types: Abstract-Domain Selection Based on Variable Usage","authors":"S. Apel, Dirk Beyer, Karlheinz Friedberger, F. Raimondi, Alexander von Rhein","doi":"10.1007/978-3-319-03077-7_18","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_18","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131889922","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 : 2013-11-05DOI: 10.1007/978-3-319-03077-7_21
Oleg Travkin, Annika Mütze, H. Wehrheim
{"title":"SPIN as a Linearizability Checker under Weak Memory Models","authors":"Oleg Travkin, Annika Mütze, H. Wehrheim","doi":"10.1007/978-3-319-03077-7_21","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_21","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128366125","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 : 2013-11-05DOI: 10.1007/978-3-319-03077-7_15
J. Pfähler, G. Ernst, G. Schellhorn, Dominik Haneberg, W. Reif
{"title":"Formal Specification of an Erase Block Management Layer for Flash Memory","authors":"J. Pfähler, G. Ernst, G. Schellhorn, Dominik Haneberg, W. Reif","doi":"10.1007/978-3-319-03077-7_15","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_15","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122289832","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
扫码关注我们
求助内容：
应助结果提醒方式：