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 contributionOther research output

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

Fingerprint

Performability
Reward
Model Checking
Logic
Path

Keywords

  • METIS-216859

Cite this

Cloth, L., Haverkort, B., Hermanns, H., Katoen, J-P., Baier, C., Bobbio, A. (Ed.), ... Ma, Y. (Ed.) (2003, Sep 6). Model Checking pathCSL. Urbana-Champaign: University of Illinois at Urbana-Champaign.
Cloth, Lucia ; Haverkort, Boudewijn ; Hermanns, Holger ; Katoen, Joost-Pieter ; Baier, Christel ; Bobbio, Andrea (Editor) ; Deavours, Daniel (Editor) ; Ma, Yue (Editor). / Model Checking pathCSL. 2003. Urbana-Champaign : University of Illinois at Urbana-Champaign. 4 p.
@misc{f2164e568602429582019a1c88acd43b,
title = "Model Checking pathCSL",
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.",
keywords = "METIS-216859",
author = "Lucia Cloth and Boudewijn Haverkort and Holger Hermanns and Joost-Pieter Katoen and Christel Baier and Andrea Bobbio and Daniel Deavours and Yue Ma",
year = "2003",
month = "9",
day = "6",
language = "English",
publisher = "University of Illinois at Urbana-Champaign",
type = "Other",

}

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

Model Checking pathCSL. / Cloth, Lucia; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter; Baier, Christel; Bobbio, Andrea (Editor); Deavours, Daniel (Editor); Ma, Yue (Editor).

4 p. Urbana-Champaign : University of Illinois at Urbana-Champaign. 2003, .

Research output: Other contributionOther research output

TY - GEN

T1 - Model Checking pathCSL

AU - Cloth, Lucia

AU - Haverkort, Boudewijn

AU - Hermanns, Holger

AU - Katoen, Joost-Pieter

AU - Baier, Christel

A2 - Bobbio, Andrea

A2 - Deavours, Daniel

A2 - Ma, Yue

PY - 2003/9/6

Y1 - 2003/9/6

N2 - 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.

AB - 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.

KW - METIS-216859

M3 - Other contribution

PB - University of Illinois at Urbana-Champaign

CY - Urbana-Champaign

ER -

Cloth L, Haverkort B, Hermanns H, Katoen J-P, Baier C, Bobbio A, (ed.) et al. Model Checking pathCSL. 2003. 4 p.