{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:31Z","timestamp":1750220191919,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T00:00:00Z","timestamp":1663891200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the Postgraduate Innovation Fund Project of Xi'an University of Posts and Telecommunications","award":["CXJJYL2021031"],"award-info":[{"award-number":["CXJJYL2021031"]}]},{"name":"the Equipment Pre-research Key Laboratory Foundation","award":["JZX7Y202001SY000901"],"award-info":[{"award-number":["JZX7Y202001SY000901"]}]},{"name":"the Key Research and Development Projects of Shaanxi Province","award":["2020GY-210"],"award-info":[{"award-number":["2020GY-210"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,23]]},"DOI":"10.1145\/3573942.3574023","type":"proceedings-article","created":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T23:45:42Z","timestamp":1684280742000},"page":"285-291","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Visual Model Checking Distributed System"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5136-0282","authenticated-orcid":false,"given":"Yiyang","family":"Jia","sequence":"first","affiliation":[{"name":"School of Computer Science, Xi'an University of Posts & Telecommunications, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7293-4510","authenticated-orcid":false,"given":"Xinfeng","family":"Shu","sequence":"additional","affiliation":[{"name":"School of Computer Science, Xi'an University of Posts & Telecommunications, China"}]}],"member":"320","published-online":{"date-parts":[[2023,5,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/PESTSE.2016.7516365"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2776756"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IBCAST51254.2021.9393272"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714795"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503503"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2013.434"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/3ICT.2019.8910271"},{"issue":"09","key":"e_1_3_2_1_9_1","first-page":"2125","volume":"36","author":"Huo","year":"2015","unstructured":"Huo Yan-yan, Guan Yong, Li Xiao-juan, Wang Rui, Zhan Jie, Wei Hong-xing. Formal Verification of Distributed Real-time Operating System Task Scheduling Based on PRISM, 2015, 36(09): 2125-2129.","journal-title":"Wei Hong-xing. Formal Verification of Distributed Real-time Operating System Task Scheduling Based on PRISM"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","volume-title":"Extending UML for Model Checking","author":"Shu","year":"2018","unstructured":"Shu X, Wang M, Wang X. Extending UML for Model Checking. Lecture Notes in Computer Science, 2018, 88-107."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSS.2012.580"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.11.030"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.09.001"},{"key":"e_1_3_2_1_14_1","volume-title":"Temporal logic and temporal logic programming","author":"Duan Z.","year":"2005","unstructured":"Z. Duan, Temporal logic and temporal logic programming, Science Press, 2005."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.09.001"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/6240"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_12"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.032."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.12.047"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.22"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.08.039"},{"key":"e_1_3_2_1_23_1","first-page":"503","volume":"2019","author":"Shu Xinfeng","unstructured":"Xinfeng Shu, Nan Zhang. An Efficient Decision Procedure for Propositional Projection Temporal Logic\/\/ Lecture Notes in Computer Science: 11653.Heidelberg: Springer Verlag, 2019: 503-515.","journal-title":"Springer Verlag"}],"event":{"name":"AIPR 2022: 2022 5th International Conference on Artificial Intelligence and Pattern Recognition","acronym":"AIPR 2022","location":"Xiamen China"},"container-title":["Proceedings of the 2022 5th International Conference on Artificial Intelligence and Pattern Recognition"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3573942.3574023","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3573942.3574023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:32Z","timestamp":1750186952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3573942.3574023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,23]]},"references-count":23,"alternative-id":["10.1145\/3573942.3574023","10.1145\/3573942"],"URL":"https:\/\/doi.org\/10.1145\/3573942.3574023","relation":{},"subject":[],"published":{"date-parts":[[2022,9,23]]},"assertion":[{"value":"2023-05-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}