Automated model analysis tools and techniques presented at FASE 2019

International Journal on Software Tools for Technology Transfer, vol. 23, pp. 285–287

Abstract

Abstract This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.

Authors 2

1. Reiner Hähnle corresponding

   Technische Universität Darmstadt

   Affiliation as printed

   Technical University of Darmstadt, Darmstadt, Germany

2. Wil M. P. van der Aalst Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany