Tools for the construction and analysis of systems A special issue for TACAS 2018

Dirk Beyer*, Marieke Huisman

*Corresponding author for this work

Research output: Contribution to journalConference articleAcademicpeer-review

11 Downloads (Pure)

Abstract

In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. This special issue of Software Tools for Technology Transfer presents various tool-supported techniques that can help with the construction and analysis of such reliable software and systems. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018).
Original languageEnglish
Pages (from-to)685-687
Number of pages3
JournalInternational journal on software tools for technology transfer
Volume22
Issue number6
Early online date13 Jul 2020
DOIs
Publication statusPublished - Dec 2020
Event24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 - Makedonia Palace, Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018
Conference number: 24
https://etaps.org/2018/tacas

Keywords

  • Safety analysis
  • Quantitative analysis
  • Deductive verification
  • Statistical model checking
  • Runtime analysis
  • Refinement
  • Reactive system
  • Cyber-physical system
  • Weak-memory model
  • Hyperproperty

Cite this