Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3--7, 2000. Revised lectures (Q5943774)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Herzog, Ulrich}, Formal methods for performance evaluation, 1-37 [Zbl 0990.68556] \textit{Haverkort, Boudewijn R.}, Markovian models for performance and dependability evaluation, 38-83 [Zbl 0990.68020] \textit{Balbo, Gianfranco}, Introduction to stochastic Petri nets, 84-155 [Zbl 0990.68092] \textit{German, Reinhard}, Non-Markovian analysis, 156-182 [Zbl 0990.68504] \textit{Brinksma, Ed; Hermanns, Holger}, Process algebra and Markov chains, 183-231 [Zbl 0990.68021] \textit{Segala, Roberto}, Verification of randomized distributed algorithms, 232-260 [Zbl 0990.68640] \textit{Wolper, Pierre}, Constructing automata from temporal logic formulas: A tutorial, 261-277 [Zbl 0990.68088] \textit{Hillston, Jane}, Exploiting structure in solution: Decomposing compositional models, 278-314 [Zbl 0990.68523] \textit{Sanders, William H.; Meyer, John F.}, Stochastic activity networks: Formal definitions and concepts, 315-343 [Zbl 0990.68505] \textit{Ciardo, Gianfranco}, Distributed and structured analysis approaches to study large and complex systems, 344-374 [Zbl 0990.68506] \textit{Katoen, Joost-Pieter; D'Argenio, Pedro R.}, General distributions in process algebra, 375-429 [Zbl 0990.68091]