{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:24:56Z","timestamp":1784996696581,"version":"3.55.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202361"],"award-info":[{"award-number":["62202361"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,16]]},"DOI":"10.1109\/qrs65678.2025.00036","type":"proceedings-article","created":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T17:51:28Z","timestamp":1759168288000},"page":"270-281","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of Preemptive Interrupt-Driven Programs Based on Partial Order Modeling"],"prefix":"10.1109","author":[{"given":"Junzhe","family":"Zhao","sequence":"first","affiliation":[{"name":"School of Cyber Security and Computer, Hebei University,Baoding,Hebei,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meng","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Cyber Security and Computer, Hebei University,Baoding,Hebei,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bin","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xidian University,Xi'an,Shaanxi,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zixuan","family":"Yuan","sequence":"additional","affiliation":[{"name":"Guangzhou Institute of Technology, Xidian University,Guangzhou,Guangdong,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qianchen","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Cyber Security and Computer, Hebei University,Baoding,Hebei,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16164-3_18"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.04.002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3147432"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3705311"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2914789"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318260"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35585-1_20"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3579835"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3446211"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3073859"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-020-00661-3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_25"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2994593"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"issue":"53","key":"ref17","first-page":"1","article-title":"Minisat v1.13 - A SAT solver with conflict-clause minimization","volume":"2005","author":"S\u00f6rensson","year":"2005","journal-title":"SAT"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3563321"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2864122"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.04.054"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54013-4_2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.07.030"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151034"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453115"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3503221.3508424"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238223"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00074"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_39"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-order methods for the verification of concurrent systems: An approach to the state-explosion problem","author":"Godefroid","year":"1996"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535845"}],"event":{"name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","location":"Hangzhou, China","start":{"date-parts":[[2025,7,16]]},"end":{"date-parts":[[2025,7,20]]}},"container-title":["2025 25th International Conference on Software Quality, Reliability and Security (QRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11173421\/11173424\/11173463.pdf?arnumber=11173463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T14:45:53Z","timestamp":1759243553000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11173463\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,16]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/qrs65678.2025.00036","relation":{},"subject":[],"published":{"date-parts":[[2025,7,16]]}}}