. . "1335-9150" . "Computing and Informatics" . . "Model Checking of RegCTL" . "SK - Slovensk\u00E1 republika" . . "Model Checking of RegCTL" . "2"^^ . "14330" . . "000237134000005" . "\u010Cern\u00E1, Ivana" . . . "2"^^ . . "Br\u00E1zdil, Tom\u00E1\u0161" . . "25" . "The paper is devoted to the problem of extending the temporal logic CTL so that it is more expressive and complicated properties can be expressed in a more readable form. The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression, thus restricting moments when the validity is required. We propose a local distributed model checking algorithm for RegCTL and exactly state the complexity of model checking RegCTL formulas." . "The paper is devoted to the problem of extending the temporal logic CTL so that it is more expressive and complicated properties can be expressed in a more readable form. The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression, thus restricting moments when the validity is required. We propose a local distributed model checking algorithm for RegCTL and exactly state the complexity of model checking RegCTL formulas."@en . . . "Model Checking of RegCTL"@en . . "RIV/00216224:14330/06:00015466!RIV10-GA0-14330___" . . "16"^^ . . "P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)" . . . . "RIV/00216224:14330/06:00015466" . "model checking; RegCTL temporal logic"@en . "486069" . . "Model Checking of RegCTL"@en . "1" . "[2B97FDC2879F]" .