Abstract
Automated techniques and tools for the construction and analysis of systems are inevitable to manage the complexity of the current systems. Such techniques and tools are the subject of interest of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems—TACAS. This special issue of Software Tools for Technology Transfer presents extended versions of five selected papers from the 25th edition of TACAS that took place in 2019. All of the papers included into this special issue aim at various aspects of automated design and formal verification and hence contribute to development of more reliable computer systems.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Vojnar, T., Zhang, L. (eds.): Tools and Algorithms for the Construction and Analysis of Systems—25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I, LNCS 11427. Springer (2019). https://doi.org/10.1007/978-3-030-17462-0
Vojnar, T., Zhang, L. (eds.): Tools and Algorithms for the Construction and Analysis of Systems—25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, LNCS 11428. Springer (2019). https://doi.org/10.1007/978-3-030-17465-1
Stoilkovska, I., Konnov, I., Widder, J., Zuleger, F.: Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. Int. J. Softw. Tools Technol. Transf. (this issue)
Enevoldsen, S., Larsen, K., Srba, J.: Extended Abstract Dependency Graphs. Int. J. Softw. Tools Technol. Transf. (this issue)
Vukmirovic, P., Blanchette, J., Cruanes, S., Schulz, S.: Extending a Brainiac prover to lambda-free higher-order logic. Int. J. Softw. Tools Technol. Transf. (this issue)
Babar, J., Ciardo, G., Miner, A.: CESRBDDs: Binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. (this issue)
Blicha, M., Hyvarinen, A., Kofron, J., Sharygina, N.: Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. (this issue)
Acknowledgements
We are grateful to all the authors who submitted their papers to TACAS 2019 and to all PC members, additional reviewers, as well as all members of the Artifact Evaluation Committee (AEC) for their detailed and informed reviews and, in the case of the PC and AEC members, also for their discussions during the virtual TACAS 2019 PC and AEC meetings. We also thank the TACAS steering committee for their advice. Finally, we are also grateful to the reviewers who reviewed the extended versions submitted to this special issue and who were both from the original TACAS 2019 PC and external to it.
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
Vojnar, T., Zhang, L. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. Int J Softw Tools Technol Transfer 24, 29–31 (2022). https://doi.org/10.1007/s10009-021-00642-y
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-021-00642-y