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 Sept 2003
Externally publishedYes


  • METIS-216859


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

Cite this