{"title":"BDD-Based Symbolic Model Checking","authors":"S. Chaki, A. Gurfinkel","doi":"10.1007/978-3-319-10575-8_8","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_8","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"137 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131787725","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}
{"title":"Combining Model Checking and Data-Flow Analysis","authors":"Dirk Beyer, Sumit Gulwani, David A. Schmidt","doi":"10.1007/978-3-319-10575-8_16","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_16","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115221747","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}
{"title":"Abstraction and Abstraction Refinement","authors":"D. Dams, O. Grumberg","doi":"10.1007/978-3-319-10575-8_13","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_13","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116151265","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}
C. Baier, L. D. Alfaro, Vojtěch Forejt, M. Kwiatkowska
{"title":"Model Checking Probabilistic Systems","authors":"C. Baier, L. D. Alfaro, Vojtěch Forejt, M. Kwiatkowska","doi":"10.1007/978-3-319-10575-8_28","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_28","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116301630","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}
{"title":"Satisfiability Modulo Theories","authors":"Clark W. Barrett, C. Tinelli","doi":"10.1007/978-3-319-10575-8_11","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_11","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126669485","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}
{"title":"Predicate Abstraction for Program Verification","authors":"Ranjit Jhala, A. Podelski, A. Rybalchenko","doi":"10.1007/978-3-319-10575-8_15","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_15","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132177448","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}
{"title":"Introduction to Model Checking","authors":"E. Clarke, T. Henzinger, H. Veith","doi":"10.1007/978-3-319-10575-8_1","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_1","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129505452","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}
D. Giannakopoulou, Kedar S. Namjoshi, C. Pasareanu
{"title":"Compositional Reasoning","authors":"D. Giannakopoulou, Kedar S. Namjoshi, C. Pasareanu","doi":"10.1007/978-3-319-10575-8_12","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_12","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"755 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117007147","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}
{"title":"Model Checking Procedural Programs","authors":"R. Alur, A. Bouajjani, J. Esparza","doi":"10.1007/978-3-319-10575-8_17","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_17","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131663377","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}
{"title":"Transfer of Model Checking to Industrial Practice","authors":"R. Kurshan","doi":"10.1007/978-3-319-10575-8_23","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_23","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121477543","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号
求助内容：
应助结果提醒方式：