{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:19:35Z","timestamp":1740107975262,"version":"3.37.3"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T00:00:00Z","timestamp":1594598400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T00:00:00Z","timestamp":1594598400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005722","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2020,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. This special issue of Software Tools for Technology Transfer presents various tool-supported techniques that can help with the construction and analysis of such reliable software and systems. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u00a02018).<\/jats:p>","DOI":"10.1007\/s10009-020-00581-0","type":"journal-article","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T19:02:35Z","timestamp":1594666955000},"page":"685-687","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tools for the construction and analysis of systems"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4832-7662","authenticated-orcid":false,"given":"Dirk","family":"Beyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4467-072X","authenticated-orcid":false,"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,13]]},"reference":[{"key":"581_CR1","doi-asserted-by":"publisher","unstructured":"Beyer, D., Huisman, M. (eds.): Tools and Algorithms for the Construction and Analysis of Systems\u201424th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, 14\u201320 April 2018, Proceedings, Part\u00a0I, LNCS\u00a010805. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-89960-2","DOI":"10.1007\/978-3-319-89960-2"},{"key":"581_CR2","doi-asserted-by":"publisher","unstructured":"Beyer, D., Huisman, M. (eds.): Tools and Algorithms for the Construction and Analysis of Systems\u201424th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, 14\u201320 April 2018, Proceedings, Part II, LNCS 10806. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-89963-3","DOI":"10.1007\/978-3-319-89963-3"},{"key":"581_CR3","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. (2020). https:\/\/doi.org\/10.1007\/s10009-020-00563-2","DOI":"10.1007\/s10009-020-00563-2"},{"key":"581_CR4","doi-asserted-by":"publisher","unstructured":"Dragomir, I., Preoteasa, V., Tripakis, S.: The refinement calculus of reactive systems toolset. Int. J. Softw. Tools Technol. Transf. (2020). https:\/\/doi.org\/10.1007\/s10009-020-00561-4","DOI":"10.1007\/s10009-020-00561-4"},{"key":"581_CR5","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Hahn, C., Stenger, M., Tentrup, L.: Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. (2020). https:\/\/doi.org\/10.1007\/s10009-020-00552-5","DOI":"10.1007\/s10009-020-00552-5"},{"key":"581_CR6","doi-asserted-by":"publisher","unstructured":"Ni\u010dkovi\u0107, D., Lebeltel, O., Maler, O., Ferr\u00e8re, T., Ulus, D.: AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. (2020). https:\/\/doi.org\/10.1007\/s10009-020-00582-z","DOI":"10.1007\/s10009-020-00582-z"},{"key":"581_CR7","doi-asserted-by":"publisher","unstructured":"Summers, A.J., M\u00fcller, P.: Automating deductive verification for weak-memory programs (extended version). Int. J. Softw. Tools Technol. Transf. (2020). https:\/\/doi.org\/10.1007\/s10009-020-00559-y","DOI":"10.1007\/s10009-020-00559-y"}],"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-020-00581-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00581-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00581-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T00:56:29Z","timestamp":1626137789000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00581-0"}},"subtitle":["A special issue for TACAS 2018"],"short-title":[],"issued":{"date-parts":[[2020,7,13]]},"references-count":7,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["581"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00581-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2020,7,13]]},"assertion":[{"value":"13 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}