Model Checking pathCSL

Lucia Cloth, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen, Christel Baier

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    8 Downloads (Pure)

    Abstract

    CSL formulas and path-based reward variables are two ways of specifying performability measures which depend on a sequence of states in a CTMC. We present the new logic pathCSL which combines ideas and advantages of both approaches.
    Original languageEnglish
    Title of host publicationPMCCS-6
    Subtitle of host publicationThe Sixth International Workshop on Performability Modeling of Computer and Communication Systems
    EditorsAndrea Bobbio, Daniel Deavours, Yue Ma
    Place of PublicationUrbana-Champaign
    PublisherUniversity of Illinois at Urbana-Champaign
    Pages19-22
    Publication statusPublished - 6 Sep 2003
    Event6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003 - Monticello, United States
    Duration: 6 Sep 20037 Sep 2003
    Conference number: 6

    Conference

    Conference6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003
    Abbreviated titlePMCCS
    CountryUnited States
    CityMonticello
    Period6/09/037/09/03

    Keywords

    • METIS-216859

    Fingerprint Dive into the research topics of 'Model Checking pathCSL'. Together they form a unique fingerprint.

    Cite this