. "Local Distributed Model Checking of RegCTL"@cs . . . . "Local Distributed Model Checking of RegCTL"@en . "Elsevier Science" . . "PDMC 2002 Parallel and Distributed Model Checking" . "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 more succinctly. The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression restricting thus moments when the validity is required. The resulting logic is more expressive than previous extensions of CTL with regular expressions. RegCTL can be model-checked on-the-fly and the model checking algorithm is well distributable."@cs . "2"^^ . . "Br\u00E1zdil, Tom\u00E1\u0161" . "2"^^ . "RIV/00216224:14330/02:00006437!RIV08-MSM-14330___" . "1" . "Local Distributed Model Checking of RegCTL" . "The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression restricting thus moments when the validity is required. The resulting logic is more expressive than previous extensions of CTL with regular expressions. RegCTL can be model-checked on-the-fly and the model checking algorithm is well distributable."@en . "2002-01-01+01:00"^^ . "model checking"@en . "The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression restricting thus moments when the validity is required. The resulting logic is more expressive than previous extensions of CTL with regular expressions. RegCTL can be model-checked on-the-fly and the model checking algorithm is well distributable." . "14330" . . . . "14"^^ . . . . "651981" . . . "The Netherlands" . "0-444-51291-8" . "P(GA201/00/1023), Z(MSM 143300001)" . "Local Distributed Model Checking of RegCTL"@en . . . "RIV/00216224:14330/02:00006437" . "19.8.2002, Brno, Czech Republic" . "Local Distributed Model Checking of RegCTL" . "\u010Cern\u00E1, Ivana" . "Local Distributed Model Checking of RegCTL"@cs . . "[67D8853ED445]" .