TIPPtool: Compositional Specification and Analysis of Markovian Performance Models

H. Hermanns, N. Halbwachs (Editor), D. Peled (Editor), V. Mertsiotakis, M. Siegle

    Research output: Contribution to conferencePaperAcademicpeer-review

    57 Downloads (Pure)

    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.
    Original languageUndefined
    Pages487-490
    Number of pages4
    Publication statusPublished - 1999
    Event11th International Conference on Computer Aided Verification, CAV 1999 - Trento, Italy
    Duration: 6 Jul 199910 Jul 1999
    Conference number: 11

    Conference

    Conference11th International Conference on Computer Aided Verification, CAV 1999
    Abbreviated titleCAV
    CountryItaly
    CityTrento
    Period6/07/9910/07/99

    Keywords

    • FMT-PA: PROCESS ALGEBRAS
    • FMT-PM: PROBABILISTIC METHODS
    • IR-66281
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • EWI-6506

    Cite this