{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T02:36:05Z","timestamp":1755225365330,"version":"3.43.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2025,8]]},"DOI":"10.1007\/s10703-025-00475-4","type":"journal-article","created":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T06:56:19Z","timestamp":1743404179000},"page":"131-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Preface of the special issue on the Conference on Computer-Aided Verification 2022"],"prefix":"10.1007","volume":"66","author":[{"given":"Sharon","family":"Shoham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yakir","family":"Vizel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,31]]},"reference":[{"key":"475_CR1","doi-asserted-by":"publisher","unstructured":"Shoham S, Vizel Y (eds.) (2022) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part I. Lecture notes in computer science, vol 13371, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13185-1","DOI":"10.1007\/978-3-031-13185-1"},{"key":"475_CR2","doi-asserted-by":"publisher","unstructured":"Shoham S, Vizel Y (eds.) (2022) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part II. Lecture notes in computer science, vol 13372, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13188-2","DOI":"10.1007\/978-3-031-13188-2"},{"key":"475_CR3","doi-asserted-by":"publisher","unstructured":"Becchi A, Cimatti A (2022) Abstraction modulo stability for reverse engineering. In: Shoham S, Vizel Y (eds.) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part I. Lecture notes in computer science, vol 13371, pp 469\u2013489, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13185-1_23","DOI":"10.1007\/978-3-031-13185-1_23"},{"key":"475_CR4","doi-asserted-by":"publisher","unstructured":"Golia P, Juba B, Meel KS (2022) A scalable shannon entropy estimator. In: Shoham S, Vizel, Y (eds.) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part I. Lecture notes in computer science, vol 13371, pp 363\u2013384, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13185-1_18","DOI":"10.1007\/978-3-031-13185-1_18"},{"key":"475_CR5","doi-asserted-by":"publisher","unstructured":"Agarwal C, Guha S, Kret\u00ednsk\u00fd J, Muruganandham P (2022) PAC statistical model checking of mean payoff in discrete- and continuous-time MDP. In: Shoham S, Vizel Y (eds.) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part II. Lecture notes in computer science, vol 13372, pp 3\u201325, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13188-2_1","DOI":"10.1007\/978-3-031-13188-2_1"},{"key":"475_CR6","doi-asserted-by":"publisher","unstructured":"Beutner R, Finkbeiner B (2022) Software verification of hyperproperties beyond k-safety. In: Shoham S, Vizel Y (eds.) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part I. Lecture notes in computer science, vol 13371, pp 341\u2013362, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13185-1_17","DOI":"10.1007\/978-3-031-13185-1_17"},{"key":"475_CR7","doi-asserted-by":"publisher","unstructured":"Bao J, Trivedi N, Pathak D, Hsu J, Roy S (2022) Data-driven invariant learning for probabilistic programs. In: Shoham S, Vizel Y (eds.) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part I. Lecture notes in computer science, vol 13371, pp 33\u201354, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13185-1_3","DOI":"10.1007\/978-3-031-13185-1_3"},{"key":"475_CR8","doi-asserted-by":"publisher","unstructured":"Bak S, Bogomolov S, Hencey B, Kochdumper N, Lew E, Potomkin K (2022) Reachability of koopman linearized systems using random Fourier feature observables and polynomial zonotope refinement. In: Shoham S, Vizel Y (eds.) Computer aided verification-34th international conference, CAV 2022, Haifa, Israel, August 7\u201310, 2022, Proceedings, part I. Lecture notes in computer science, vol 13371, pp 490\u2013510, Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-031-13185-1_24","DOI":"10.1007\/978-3-031-13185-1_24"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-025-00475-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10703-025-00475-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-025-00475-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T10:21:32Z","timestamp":1755080492000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10703-025-00475-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["475"],"URL":"https:\/\/doi.org\/10.1007\/s10703-025-00475-4","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2025,3,31]]},"assertion":[{"value":"5 March 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}