Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020

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 algori...

Descripción completa

Detalles Bibliográficos
Autores principales: Biere, Armin, Parker, David
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2022
Materias:
General
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9510532/
https://www.ncbi.nlm.nih.gov/pubmed/36186273
http://dx.doi.org/10.1007/s10009-022-00677-9
_version_ 1784797456957964288
author Biere, Armin
Parker, David
author_facet Biere, Armin
Parker, David
author_sort Biere, Armin
collection PubMed
description 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.
format Online
Article
Text
id pubmed-9510532
institution National Center for Biotechnology Information
language English
publishDate 2022
publisher Springer Berlin Heidelberg
record_format MEDLINE/PubMed
spelling pubmed-95105322022-09-26 Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020 Biere, Armin Parker, David Int J Softw Tools Technol Transf General 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. Springer Berlin Heidelberg 2022-09-23 2022 /pmc/articles/PMC9510532/ /pubmed/36186273 http://dx.doi.org/10.1007/s10009-022-00677-9 Text en © The Author(s) 2022 https://creativecommons.org/licenses/by/4.0/Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/ (https://creativecommons.org/licenses/by/4.0/) .
spellingShingle General
Biere, Armin
Parker, David
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
title Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
title_full Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
title_fullStr Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
title_full_unstemmed Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
title_short Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
title_sort tools and algorithms for the construction and analysis of systems: a special issue for tacas 2020
topic General
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9510532/
https://www.ncbi.nlm.nih.gov/pubmed/36186273
http://dx.doi.org/10.1007/s10009-022-00677-9
work_keys_str_mv AT bierearmin toolsandalgorithmsfortheconstructionandanalysisofsystemsaspecialissuefortacas2020
AT parkerdavid toolsandalgorithmsfortheconstructionandanalysisofsystemsaspecialissuefortacas2020

Ejemplares similares