Tools for the construction and analysis of systems-Reference-Cited by-同舟云学术

Tools for the construction and analysis of systems

Published:2020-07-13 Issue:6 Volume:22 Page:685-687
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Beyer Dirk^ORCID,Huisman Marieke^ORCID

Abstract

AbstractIn order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. This special issue of Software Tools for Technology Transfer presents various tool-supported techniques that can help with the construction and analysis of such reliable software and systems. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018).

Funder

Ludwig-Maximilians-Universität München

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

https://link.springer.com/content/pdf/10.1007/s10009-020-00581-0.pdf

Reference7 articles.

1. Beyer, D., Huisman, M. (eds.): Tools and Algorithms for the Construction and Analysis of Systems—24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, 14–20 April 2018, Proceedings, Part I, LNCS 10805. Springer (2018). https://doi.org/10.1007/978-3-319-89960-2

2. Beyer, D., Huisman, M. (eds.): Tools and Algorithms for the Construction and Analysis of Systems—24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, 14–20 April 2018, Proceedings, Part II, LNCS 10806. Springer (2018). https://doi.org/10.1007/978-3-319-89963-3

3. Budde, C.E., D’Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. (2020). https://doi.org/10.1007/s10009-020-00563-2

4. Dragomir, I., Preoteasa, V., Tripakis, S.: The refinement calculus of reactive systems toolset. Int. J. Softw. Tools Technol. Transf. (2020). https://doi.org/10.1007/s10009-020-00561-4

5. Finkbeiner, B., Hahn, C., Stenger, M., Tentrup, L.: Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. (2020). https://doi.org/10.1007/s10009-020-00552-5