Skip to main content
SpringerLink
Log in
Book cover

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

  • Textbook
  • © 2001

Overview

Editors:
  1. Ed Brinksma

    1. Faculty of Computer Science, Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Holger Hermanns

    1. Faculty of Computer Science, Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Joost-Pieter Katoen

    1. Faculty of Computer Science, Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2090)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages I-VII
    Download chapter PDF

  2. Formal Methods for Performance Evaluation

    • Ulrich Herzog
    Pages 1-37

  3. Markovian Models for Performance and Dependability Evaluation

    • Boudewijn R. Haverkort
    Pages 38-83

  4. Introduction to Stochastic Petri Nets

    • Gianfranco Balbo
    Pages 84-155

  5. Non-Markovian Analysis

    • Reinhard German
    Pages 156-182

  6. Process Algebra and Markov Chains

    • Ed Brinksma, Holger Hermanns
    Pages 183-231

  7. Verification of Randomized Distributed Algorithms

    • Roberto Segala
    Pages 232-260

  8. Constructing Automata from Temporal Logic Formulas: A Tutorial⋆

    • Pierre Wolper
    Pages 261-277

  9. Exploiting Structure in Solution: Decomposing Compositional Models

    • Jane Hillston
    Pages 278-314

  10. Stochastic Activity Networks: Formal Definitions and Concepts⋆

    • William H. Sanders, John F. Meyer
    Pages 315-343

  11. Distributed and Structured Analysis Approaches to Study Large and Complex Systems⋆

    • Gianfranco Ciardo
    Pages 344-374

  12. General Distributions in Process Algebra

    • Joost-Pieter Katoen, Pedro R. D’Argenio
    Pages 375-429

  13. Back Matter

    Pages 431-431
    Download chapter PDF
Back to top

Keywords

About this book

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 di?erent 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 di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods – traditionally - cused on functionality – with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.

Editors and Affiliations

  • Faculty of Computer Science, Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation