Abstract
AbstractThis special issue of Software Tools for Technology Transfer comprises extended versions of selected papers from the 26th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020). The focus of this conference series is tools and algorithms for the rigorous analysis of software and hardware systems, and the papers in this special cover the spectrum of current work in this field.
Funder
Albert-Ludwigs-Universität Freiburg im Breisgau
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference11 articles.
1. Biere, A., Parker, D.(eds): Tools and Algorithms for the Construction and Analysis of Systems—26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, Proceedings, Part I, Vol. 12078 of Lecture Notes in Computer Science (Springer, 2020). https://doi.org/10.1007/978-3-030-45190-5 (2020)
2. Biere, A., Parker, D. (eds): Tools and Algorithms for the Construction and Analysis of Systems—26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, Proceedings, Part II, Vol. 12079 of Lecture Notes in Computer Science (Springer, 2020). https://doi.org/10.1007/978-3-030-45237-7 (2020)
3. Grumberg, O., Păsăreanu, C.S., Sheinvald, Sarai., Assume, H.F.: guarantee or repair—a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)
4. Frohn, F., Fuhs, C.: A calculus for modular loop acceleration and non-termination proofs. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)
5. Jeannerod, N., Marché, C., Régis-Gianas, Y., Sighireanu, M., Treinen, R., Becker, B: The colis platform for the analysis of maintainer scripts in debian software packages. Int. J. Softw. Tools Technol. Transf. (this issue) (2022)