Skip to main content
SpringerLink
Log in

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

  • General
  • Special Issue: TACAS 2017
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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)

    Google Scholar 

  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)

Download references

Author information

Authors and Affiliations

  1. UC Louvain, Louvain-La-Neuve, Belgium

    Axel Legay

  2. University of Limerick, Limerick, Ireland

    Tiziana Margaria

Authors
  1. Axel Legay
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Axel Legay.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Legay, A., Margaria, T. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Int J Softw Tools Technol Transfer 24, 611–612 (2022). https://doi.org/10.1007/s10009-022-00664-0

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-022-00664-0

Keywords

Search

Navigation