{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:07:46Z","timestamp":1746245266389,"version":"3.40.4"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"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,4]]},"DOI":"10.1007\/s10703-025-00474-5","type":"journal-article","created":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T21:58:38Z","timestamp":1744063118000},"page":"1-3","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 static analysis symposium 2020 and 2022"],"prefix":"10.1007","volume":"65","author":[{"given":"David","family":"Pichardie","sequence":"first","affiliation":[]},{"given":"Mihaela","family":"Sighireanu","sequence":"additional","affiliation":[]},{"given":"Gagandeep","family":"Singh","sequence":"additional","affiliation":[]},{"given":"Caterina","family":"Urban","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,7]]},"reference":[{"key":"474_CR1","doi-asserted-by":"publisher","unstructured":"Pichardie D, Sighireanu M (2020) (eds.) Static analysis - 27th international symposium, SAS 2020, Virtual Event, November 18\u201320, 2020, Proceedings. Lecture notes in computer science, vol 12389. Springer, https:\/\/doi.org\/10.1007\/978-3-030-65474-0 . https:\/\/doi.org\/10.1007\/978-3-030-65474-0","DOI":"10.1007\/978-3-030-65474-0"},{"key":"474_CR2","doi-asserted-by":"publisher","unstructured":"Singh G, Urban C (2022) (eds) Static analysis - 29th international symposium, SAS 2022, Auckland, New Zealand, December 5\u20137, 2022, Proceedings. Lecture notes in computer science, vol 13790. Springer, https:\/\/doi.org\/10.1007\/978-3-031-22308-2 . https:\/\/doi.org\/10.1007\/978-3-031-22308-2","DOI":"10.1007\/978-3-031-22308-2"},{"key":"474_CR3","doi-asserted-by":"publisher","unstructured":"Buro S, Crole RL, Mastroeni I (2020) On multi-language abstraction - towards a static analysis of multi-language programs. In: Pichardie D, Sighireanu M (eds) Static Analysis - 27th international symposium, SAS 2020, Virtual Event, November 18\u201320, 2020, Proceedings. Lecture notes in computer science, vol 12389, pp 310\u2013332. Springer, https:\/\/doi.org\/10.1007\/978-3-030-65474-0_14 . https:\/\/doi.org\/10.1007\/978-3-030-65474-0_14","DOI":"10.1007\/978-3-030-65474-0_14"},{"key":"474_CR4","doi-asserted-by":"publisher","unstructured":"M\u00fcller C, Seidl H (2020) Stratified guarded first-order transition systems. In: Pichardie D, Sighireanu M (eds) Static analysis - 27th international symposium, SAS 2020, Virtual event, November 18\u201320, 2020, Proceedings. Lecture notes in computer science, vol 12389, pp 113\u2013133. Springer, https:\/\/doi.org\/10.1007\/978-3-030-65474-0_6 . https:\/\/doi.org\/10.1007\/978-3-030-65474-0_6","DOI":"10.1007\/978-3-030-65474-0_6"},{"key":"474_CR5","doi-asserted-by":"publisher","unstructured":"Frohn F, Hark M, Giesl J (2020) Termination of polynomial loops. In: Pichardie D, Sighireanu M (eds) Static analysis - 27th international symposium, SAS 2020, Virtual Event, November 18\u201320, 2020, Proceedings. Lecture Notes in Computer Science, vol 12389, pp 89\u2013112. Springer, https:\/\/doi.org\/10.1007\/978-3-030-65474-0_5 . https:\/\/doi.org\/10.1007\/978-3-030-65474-0_5","DOI":"10.1007\/978-3-030-65474-0_5"},{"key":"474_CR6","doi-asserted-by":"publisher","unstructured":"Kim SK, Venet AJ, Thakur AV (2020) Memory-efficient fixpoint computation. In: Pichardie D, Sighireanu M (eds) Static analysis - 27th international symposium, SAS 2020, Virtual Event, November 18\u201320, 2020, Proceedings. Lecture Notes in Computer Science, vol 12389, pp 35\u201364. Springer, https:\/\/doi.org\/10.1007\/978-3-030-65474-0_3 . https:\/\/doi.org\/10.1007\/978-3-030-65474-0_3","DOI":"10.1007\/978-3-030-65474-0_3"},{"key":"474_CR7","doi-asserted-by":"publisher","unstructured":"Amrollahi D, Bartocci E, Kenison G, Kov\u00e1cs L, Moosbrugger M, Stankovic M (2022) Solving invariant generation for unsolvable loops. In: Singh G, Urban C (eds) Static analysis - 29th international symposium, SAS 2022, Auckland, New Zealand, December 5\u20137, 2022, Proceedings. Lecture Notes in Computer Science, vol 13790, pp 19\u201343. Springer, https:\/\/doi.org\/10.1007\/978-3-031-22308-2_3 . https:\/\/doi.org\/10.1007\/978-3-031-22308-2_3","DOI":"10.1007\/978-3-031-22308-2_3"},{"key":"474_CR8","doi-asserted-by":"publisher","unstructured":"Anand A, Thakur M (2022) Principles of staged static+dynamic partial analysis. In: Singh G, Urban C (eds) Static Analysis - 29th International symposium, SAS 2022, Auckland, New Zealand, December 5\u20137, 2022, Proceedings. Lecture notes in computer science, vol 13790, pp 44\u201373. Springer, https:\/\/doi.org\/10.1007\/978-3-031-22308-2_4 . https:\/\/doi.org\/10.1007\/978-3-031-22308-2_4","DOI":"10.1007\/978-3-031-22308-2_4"},{"key":"474_CR9","doi-asserted-by":"publisher","unstructured":"Bautista S, Jensen TP, Montagu B (2022) Lifting numeric relational domains to algebraic data types. In: Singh G, Urban C (eds) Static analysis - 29th international symposium, SAS 2022, Auckland, New Zealand, December 5\u20137, 2022, Proceedings. Lecture notes in computer science, vol 13790, pp 104\u2013134. Springer, https:\/\/doi.org\/10.1007\/978-3-031-22308-2_6 . https:\/\/doi.org\/10.1007\/978-3-031-22308-2_6","DOI":"10.1007\/978-3-031-22308-2_6"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-025-00474-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10703-025-00474-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-025-00474-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T13:57:53Z","timestamp":1746194273000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10703-025-00474-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":9,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["474"],"URL":"https:\/\/doi.org\/10.1007\/s10703-025-00474-5","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2025,4]]},"assertion":[{"value":"5 March 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 April 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"}]}}