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

doi:10.1007/s10009-023-00699-x

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)

Formal System Analysis

Research output: Contribution to journal › Article › Academic › peer-review

35 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 language	English
Pages (from-to)	129-131
Number of pages	3
Journal	International Journal on Software Tools for Technology Transfer
Volume	25
Issue number	2
DOIs	https://doi.org/10.1007/s10009-023-00699-x
Publication status	Published - 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

Access to Document

10.1007/s10009-023-00699-x

pdfFinal published version, 150 KBLicence: CC BY

Cite this

@article{3f006125816947b09ddff106166a9391,

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

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.",

keywords = "Hardware verification, Neural networks, Runtime verification, SAT and SMT solving, Software verification, Static analysis, Theorem proving, Tool environments and tool architectures",

author = "Jensen, {Peter Gj{\o}l} and Thomas Neele",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s).",

year = "2023",

month = apr,

day = "1",

doi = "10.1007/s10009-023-00699-x",

language = "English",

volume = "25",

pages = "129--131",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - Tools and algorithms for the construction and analysis of systems

T2 - a special issue on tool papers for TACAS 2021

AU - Jensen, Peter Gjøl

AU - Neele, Thomas

PY - 2023/4/1

Y1 - 2023/4/1

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

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

KW - Hardware verification

KW - Neural networks

KW - Runtime verification

KW - SAT and SMT solving

KW - Software verification

KW - Static analysis

KW - Theorem proving

KW - Tool environments and tool architectures

UR - http://www.scopus.com/inward/record.url?scp=85148355942&partnerID=8YFLogxK

U2 - 10.1007/s10009-023-00699-x

DO - 10.1007/s10009-023-00699-x

M3 - Article

AN - SCOPUS:85148355942

SN - 1433-2779

VL - 25

SP - 129

EP - 131

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 2

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this