Model Checking pathCSL

Lucia Cloth, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen, Christel Baier, Andrea Bobbio (Editor), Daniel Deavours (Editor), Yue Ma (Editor)

Research output: Other contribution


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
PublisherUniversity of Illinois at Urbana-Champaign
Number of pages4
Place of PublicationUrbana-Champaign
Publication statusPublished - 6 Sep 2003
Externally publishedYes


  • METIS-216859

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

  • Cite this

    Cloth, L., Haverkort, B., Hermanns, H., Katoen, J-P., Baier, C., Bobbio, A. (Ed.), Deavours, D. (Ed.), & Ma, Y. (Ed.) (2003, Sep 6). Model Checking pathCSL. Urbana-Champaign: University of Illinois at Urbana-Champaign.