Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
International Journal on Software Tools for Technology Transfer
Published in: International Journal on Software Tools for Technology Transfer 4/2022

12-07-2022 | General

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017

Authors: Axel Legay, Tiziana Margaria

Published in: International Journal on Software Tools for Technology Transfer | Issue 4/2022

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This special issue of Software Tools for Technology Transfer presents extended versions of two selected papers from the 23rd edition of TACAS, the International Conference on Tools and Algorithms for the Construction and Analysis of Systems that took place in April 2017 in Uppsala. The papers included in this special issue concern various aspects of automated design and formal verification; they therefore contribute to the development of more reliable computer systems.
previous article The probabilistic model checker Storm
next article Approximate verification of concurrent systems using token structures and invariants

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Literature
1.
Legay, A., Margaria, T. (eds): Tools and Algorithms for the Construction and Analysis of Systems—23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, LNCS 10205, Springer Berlin, Heidelberg (2017). https://​doi.​org/​10.​1007/​978-3-662-54577-5
2.
Legay, A., Margaria, T. (eds): Tools and Algorithms for the Construction and Analysis of Systems—23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, LNCS 10206, Springer Berlin, Heidelberg (2017). https://​doi.​org/​10.​1007/​978-3-662-54580-5
3.
Antonino, P., Gibson-Robinson, T., Roscoe, A.W.: Approximate verification of concurrent systems using token structures and invariants. Int. J. Softw. Tools Technol. Transf. 2022, 1 (2022)
4.
Esparza, J., Kretinski, J., Raskin, J-F., Sicker, S.: From linear temporal logic and limit-deterministic büchi automata to deterministic parity automata. Int. J. Softw. Tools Technol. Transf. (this issue)
Metadata
Title
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
Authors
Axel Legay
Tiziana Margaria
Publication date
12-07-2022
Publisher
Springer Berlin Heidelberg
Published in
International Journal on Software Tools for Technology Transfer / Issue 4/2022
Print ISSN: 1433-2779
Electronic ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-022-00664-0

Other articles of this Issue 4/2022

International Journal on Software Tools for Technology Transfer 4/2022 Go to the issue

General

Approximate verification of concurrent systems using token structures and invariants

General

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Competitions and Challenges

The Log Skeleton Visualizer in ProM 6.9

Competitions and Challenges

The probabilistic model checker Storm

Competitions and Challenges

DisCoveR: accurate and efficient discovery of declarative process models

Correction

Correction to: Reliable benchmarking: requirements and solutions

Premium Partner

    Image Credits