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

Autor:	Lijun Zhang, Tomáš Vojnar
Rok vydání:	2021
Předmět:	Software business.industry Computer science Theory of computation Technology transfer Subject (documents) business Formal verification Algorithm Information Systems
Zdroj:	International Journal on Software Tools for Technology Transfer. 24:29-31
ISSN:	1433-2787 1433-2779
Popis:	Automated techniques and tools for the construction and analysis of systems are inevitable to manage the complexity of the current systems. Such techniques and tools are the subject of interest of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems—TACAS. This special issue of Software Tools for Technology Transfer presents extended versions of five selected papers from the 25th edition of TACAS that took place in 2019. All of the papers included into this special issue aim at various aspects of automated design and formal verification and hence contribute to development of more reliable computer systems.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5baf58306f09647608d4f541704ca5b7 https://doi.org/10.1007/s10009-021-00642-y Zobrazit plný text záznamu Full text from SpringerLink