Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and — pendability) aspects, have been studied by different research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the difierence between their functional features and their performance properties has become...