Skip to main content
Log in

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

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

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.

Access this article

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. 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

  2. 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

  3. 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)

  4. Enevoldsen, S., Larsen, K., Srba, J.: Extended Abstract Dependency Graphs. Int. J. Softw. Tools Technol. Transf. (this issue)

  5. 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)

  6. 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)

  7. Blicha, M., Hyvarinen, A., Kofron, J., Sharygina, N.: Using linear algebra in decomposition of Farkas interpolants. Int. J. Softw. Tools Technol. Transf. (this issue)

Download references

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

Authors

Corresponding author

Correspondence to Tomáš Vojnar.

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

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

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-021-00642-y

Keywords

Navigation