TIPPtool: Compositional Specification and Analysis of Markovian Performance Models

  • H. Hermanns
  • V. Mertsiotakis
  • M. Siegle
Conference paper

DOI: 10.1007/3-540-48683-6_42

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1633)
Cite this paper as:
Hermanns H., Mertsiotakis V., Siegle M. (1999) TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. In: Halbwachs N., Peled D. (eds) Computer Aided Verification. CAV 1999. Lecture Notes in Computer Science, vol 1633. Springer, Berlin, Heidelberg

Abstract

In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • H. Hermanns
    • 1
  • V. Mertsiotakis
    • 2
  • M. Siegle
    • 1
  1. 1.Informatik 7Universität Erlangen-NürnbergErlangenGermany
  2. 2.Systems Validation CentreUniversity of TwenteEnschedeNüurnbergThe NetherlandsGermany

Personalised recommendations