Search

Your search keyword '"Jensen, Peter Gjøl"' showing total 1 results

Refine your results

1 results on '"Jensen, Peter Gjøl"'

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

Author

Jensen, Peter Gjøl and Neele, Thomas

Subjects
*ALGORITHMS, *SOFTWARE verification, *INTEGRATED circuit verification, *SYSTEMS software, *CONFERENCES & conventions
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]

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results