{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:02Z","timestamp":1750309502718,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:00:00Z","timestamp":1737331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,1,20]]},"DOI":"10.1145\/3658617.3697761","type":"proceedings-article","created":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T14:32:21Z","timestamp":1741098741000},"page":"1343-1349","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9514-141X","authenticated-orcid":false,"given":"Sourav","family":"Das","sequence":"first","affiliation":[{"name":"Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, West Bengal, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2076-3577","authenticated-orcid":false,"given":"Aritra","family":"Hazra","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, West Bengal, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2178-8154","authenticated-orcid":false,"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[{"name":"Synopsys, Santa Clara, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6429-4154","authenticated-orcid":false,"given":"Himanshu","family":"Jain","sequence":"additional","affiliation":[{"name":"Synopsys, Hillsboro, Oregon, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1743-3678","authenticated-orcid":false,"given":"Sudipta","family":"Kundu","sequence":"additional","affiliation":[{"name":"Synopsys, Hillsboro, Oregon, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,3,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2013. Hardware Model Checking Competition. https:\/\/fmv.jku.at\/hwmcc13\/"},{"key":"e_1_3_2_1_2_1","unstructured":"C. Albrecht. 2005. IWLS Benchmarks. Technical Report."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"volume-title":"Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI","author":"Bradley Aaron R.","key":"e_1_3_2_1_4_1","unstructured":"Aaron R. Bradley. 2011. SAT-Based Model Checking without Unrolling. In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI, Austin, TX, USA (Lecture Notes in Computer Science, Vol. 6538). Springer, 70--87."},{"key":"e_1_3_2_1_5_1","volume-title":"Brayton and Alan Mishchenko","author":"Robert","year":"2010","unstructured":"Robert K. Brayton and Alan Mishchenko. 2010. ABC: An Academic Industrial-Strength Verification Tool. In Computer Aided Verification, 22nd International Conference, CAV Edinburgh, UK (Lecture Notes in Computer Science, Vol. 6174). Springer, 24--40."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0451-8"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"G. Cabodi and S. Nocco. 2011. Optimized model checking of multiple properties. In Design Automation & Test in Europe. 1--4.","DOI":"10.1109\/DATE.2011.5763279"},{"key":"e_1_3_2_1_8_1","volume-title":"PURSE: Property Ordering Using Runtime Statistics for Efficient Multi-property Verification. In Design, Automation & Test in Europe.","author":"Das Sourav","year":"2024","unstructured":"Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, and Himanshu Jain. 2024. PURSE: Property Ordering Using Runtime Statistics for Efficient Multi-property Verification. In Design, Automation & Test in Europe."},{"key":"e_1_3_2_1_9_1","volume-title":"Rozier","author":"Dureja Rohit","year":"2019","unstructured":"Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, and Kristin Y. Rozier. 2019. Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. In Formal Methods in Computer Aided Design, FMCAD San Jose, CA, USA. IEEE, 1--9."},{"key":"e_1_3_2_1_10_1","volume-title":"Rozier","author":"Dureja Rohit","year":"2020","unstructured":"Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, and Kristin Y. Rozier. 2020. Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. In Formal Methods in Computer Aided Design, FMCAD Haifa, Israel. IEEE, 16--25."},{"volume-title":"International Conference on Formal Methods in Computer-Aided Design, FMCAD","author":"E\u00e9n Niklas","key":"e_1_3_2_1_11_1","unstructured":"Niklas E\u00e9n, Alan Mishchenko, and Robert K. Brayton. 2011. Efficient implementation of property directed reachability. In International Conference on Formal Methods in Computer-Aided Design, FMCAD, Austin, TX, USA. FMCAD Inc., 125--134."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2481869"},{"key":"e_1_3_2_1_13_1","volume-title":"15th International Conference, CAV Boulder, CO, USA (Lecture Notes in Computer Science","volume":"13","author":"McMillan Kenneth L.","year":"2003","unstructured":"Kenneth L. McMillan. 2003. Interpolation and SAT-Based Model Checking. In Computer Aided Verification, 15th International Conference, CAV Boulder, CO, USA (Lecture Notes in Computer Science, Vol. 2725). Springer, 1--13."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_8"}],"event":{"name":"ASPDAC '25: 30th Asia and South Pacific Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEICE","IPSJ","IEEE CAS","IEEE CEDA"],"location":"Tokyo Japan","acronym":"ASPDAC '25"},"container-title":["Proceedings of the 30th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658617.3697761","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658617.3697761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:50Z","timestamp":1750295870000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658617.3697761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,20]]},"references-count":14,"alternative-id":["10.1145\/3658617.3697761","10.1145\/3658617"],"URL":"https:\/\/doi.org\/10.1145\/3658617.3697761","relation":{},"subject":[],"published":{"date-parts":[[2025,1,20]]},"assertion":[{"value":"2025-03-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}