{"title":"A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems","authors":"P. Manolios, S. Srinivasan","doi":"10.1007/11560548_32","DOIUrl":"https://doi.org/10.1007/11560548_32","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116667000","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":"Automatic Generation of Hints for Symbolic Traversal","authors":"D. Ward, F. Somenzi","doi":"10.1007/11560548_17","DOIUrl":"https://doi.org/10.1007/11560548_17","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116230415","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":"Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation","authors":"O. Grumberg, T. Heyman, Nili Guy, A. Schuster","doi":"10.1007/11560548_12","DOIUrl":"https://doi.org/10.1007/11560548_12","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"201 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134110088","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}
Biniam Gebremichael, F. Vaandrager, Miaomiao Zhang, K. Goossens, E. Rijpkema, A. Radulescu
{"title":"Deadlock Prevention in the Æthereal Protocol","authors":"Biniam Gebremichael, F. Vaandrager, Miaomiao Zhang, K. Goossens, E. Rijpkema, A. Radulescu","doi":"10.1007/11560548_28","DOIUrl":"https://doi.org/10.1007/11560548_28","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134209185","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":"A New SAT-Based Algorithm for Symbolic Trajectory Evaluation","authors":"J. Roorda, Koen Claessen","doi":"10.1007/11560548_19","DOIUrl":"https://doi.org/10.1007/11560548_19","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125831262","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":"Formal Verification of Synchronizers","authors":"Tsachy Kapschitz, R. Ginosar","doi":"10.1007/11560548_31","DOIUrl":"https://doi.org/10.1007/11560548_31","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124786084","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":"Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning","authors":"G. Ciardo, A. Yu","doi":"10.1007/11560548_13","DOIUrl":"https://doi.org/10.1007/11560548_13","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130422598","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":"Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting","authors":"Viresh Paruthi, C. Jacobi, Kai Weber","doi":"10.1007/11560548_11","DOIUrl":"https://doi.org/10.1007/11560548_11","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125362971","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":"Exploiting Constraints in Transformation-Based Verification","authors":"Hari Mony, J. Baumgartner, A. Aziz","doi":"10.1007/11560548_21","DOIUrl":"https://doi.org/10.1007/11560548_21","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"1152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113995020","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":"Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic","authors":"K. Morin-Allory, D. Cachera","doi":"10.1007/11560548_35","DOIUrl":"https://doi.org/10.1007/11560548_35","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133211221","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
扫码关注我们
求助内容：
应助结果提醒方式：