Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021.

Authors :: Jensen, Peter Gjøl
Neele, Thomas
Source :: International Journal on Software Tools for Technology Transfer; Apr2023, Vol. 25 Issue 2, p129-131, 3p
Publication Year :: 2023
Abstract: This special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The issue is dedicated to the realization of algorithms in tools and the studies of the application of these tools for analysing hard- and software systems. [ABSTRACT FROM AUTHOR]

Subjects :: ALGORITHMS
SOFTWARE verification
INTEGRATED circuit verification
SYSTEMS software
CONFERENCES & conventions

Full Text Access

Tools