{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T05:59:21Z","timestamp":1668664761302},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T00:00:00Z","timestamp":1663891200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T00:00:00Z","timestamp":1663891200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Albert-Ludwigs-Universit\u00e4t Freiburg im Breisgau"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This special issue of Software Tools for Technology Transfer comprises extended versions of selected papers from the 26th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020). The focus of this conference series is tools and algorithms for the rigorous analysis of software and hardware systems, and the papers in this special cover the spectrum of current work in this field.<\/jats:p>","DOI":"10.1007\/s10009-022-00677-9","type":"journal-article","created":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T02:02:27Z","timestamp":1663898547000},"page":"663-665","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020"],"prefix":"10.1007","volume":"24","author":[{"given":"Armin","family":"Biere","sequence":"first","affiliation":[]},{"given":"David","family":"Parker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,23]]},"reference":[{"key":"677_CR1","doi-asserted-by":"publisher","unstructured":"Biere, A., Parker, D.(eds): Tools and Algorithms for the Construction and Analysis of Systems\u201426th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25\u201330, Proceedings, Part I, Vol. 12078 of Lecture Notes in Computer Science (Springer, 2020). https:\/\/doi.org\/10.1007\/978-3-030-45190-5 (2020)","DOI":"10.1007\/978-3-030-45190-5"},{"key":"677_CR2","doi-asserted-by":"publisher","unstructured":"Biere, A., Parker, D. (eds): Tools and Algorithms for the Construction and Analysis of Systems\u201426th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25\u201330, Proceedings, Part II, Vol. 12079 of Lecture Notes in Computer Science (Springer, 2020). https:\/\/doi.org\/10.1007\/978-3-030-45237-7 (2020)","DOI":"10.1007\/978-3-030-45237-7"},{"key":"677_CR3","unstructured":"Grumberg, O., P\u0103s\u0103reanu, C.S., Sheinvald, Sarai., Assume, H.F.: guarantee or repair\u2014a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)"},{"key":"677_CR4","doi-asserted-by":"crossref","unstructured":"Frohn, F., Fuhs, C.: A calculus for modular loop acceleration and non-termination proofs. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)","DOI":"10.1007\/s10009-022-00670-2"},{"key":"677_CR5","unstructured":"Jeannerod, N., March\u00e9, C., R\u00e9gis-Gianas, Y., Sighireanu, M., Treinen, R., Becker, B: The colis platform for the analysis of maintainer scripts in debian software packages. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)"},{"key":"677_CR6","doi-asserted-by":"crossref","unstructured":"Neele, T., Willemse, T.A.C., Wesselink, W., Valmari, A.: Partial-order reduction for parity games and parameterised boolean equation systems. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)","DOI":"10.1007\/s10009-022-00672-0"},{"key":"677_CR7","doi-asserted-by":"crossref","unstructured":"Horlings, E., Jongmans, S.-S., Hamers, R.: The discourje project: Run-time verification of communication protocols in clojure. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)","DOI":"10.26226\/morressier.604907f51a80aac83ca25d9e"},{"key":"677_CR8","unstructured":"Maathuis, O., Bian, J., de Boer, F.S., \u00a0de Gouw, S., Hiep, A.H.: Verifying OpenJDK\u2019s LinkedList using KeY. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)"},{"key":"677_CR9","doi-asserted-by":"crossref","unstructured":"Cubuktepe, M., Jansen, N., Junges, S., Katoen, J.-P., Topcu, U., Badings, T.: Scenario-based verification of uncertain parametric mdps. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)","DOI":"10.26226\/morressier.604907f51a80aac83ca25d97"},{"key":"677_CR10","unstructured":"D\u2019Argenio, P.R., Monti, R.E., Stoelinga, M.: Analysis of non-markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)"},{"key":"677_CR11","unstructured":"Gupta, A., Unadkat, D.: Full-program induction: Verifying array programs sans loop invariants. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00677-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00677-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00677-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T10:10:59Z","timestamp":1668593459000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00677-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,23]]},"references-count":11,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["677"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00677-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,23]]},"assertion":[{"value":"29 August 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 September 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}