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.
Similar content being viewed by others
References
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
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
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)
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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
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
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-022-00664-0