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

Peter Gjøl Jensen, Thomas Neele (Corresponding author)

Research output: Contribution to journalArticleAcademicpeer-review

27 Downloads (Pure)

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.

Original languageEnglish
Pages (from-to)129-131
Number of pages3
JournalInternational Journal on Software Tools for Technology Transfer
Volume25
Issue number2
DOIs
Publication statusPublished - 1 Apr 2023

Keywords

  • Hardware verification
  • Neural networks
  • Runtime verification
  • SAT and SMT solving
  • Software verification
  • Static analysis
  • Theorem proving
  • Tool environments and tool architectures

Fingerprint

Dive into the research topics of 'Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021'. Together they form a unique fingerprint.

Cite this