CTL*
http://dbpedia.org/resource/CTL* an entity of type: ProgrammingLanguage
Η CTL* είναι ένα υπερσύνολο της CTL (λογικής υπολογιστικού δένδρου) και της LTL (γραμμικής χρονικής λογικής). Συνδυάζει ελεύθερα ποσοδείκτες μονοπατιών και χρονικούς τελεστές. Όπως η CTL, η CTL* είναι μια λογική διακλαδιζόμενου χρόνου. Η τυπική σημασιολογία των τύπων (formulae) της CTL* ορίζεται με βάση μια δεδομένη δομή Κρίπκε.
rdf:langString
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.
rdf:langString
En informatique théorique, notamment en vérification formelle, CTL* (prononcé CTL star en anglais) est une logique temporelle. C'est une généralisation de la (en) (CTL : computation tree logic) et de la logique temporelle linéaire (LTL : linear temporal logic). Elle combine librement les quantificateurs sur chemins et les opérateurs temporels. CTL* est de ce fait une logique arborescente. La sémantique des formules CTL* repose sur une structure de Kripke.
rdf:langString
Logika CTL* – jedna z logik temporalnych. Jest oparta na rozgałęzionej strukturze czasu (rozszerzenie logiki LTL o warianty czasu).
rdf:langString
rdf:langString
CTL*
rdf:langString
CTL*
rdf:langString
CTL*
rdf:langString
Logika CTL*
xsd:integer
6494256
xsd:integer
1117058490
rdf:langString
Η CTL* είναι ένα υπερσύνολο της CTL (λογικής υπολογιστικού δένδρου) και της LTL (γραμμικής χρονικής λογικής). Συνδυάζει ελεύθερα ποσοδείκτες μονοπατιών και χρονικούς τελεστές. Όπως η CTL, η CTL* είναι μια λογική διακλαδιζόμενου χρόνου. Η τυπική σημασιολογία των τύπων (formulae) της CTL* ορίζεται με βάση μια δεδομένη δομή Κρίπκε.
rdf:langString
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.
rdf:langString
En informatique théorique, notamment en vérification formelle, CTL* (prononcé CTL star en anglais) est une logique temporelle. C'est une généralisation de la (en) (CTL : computation tree logic) et de la logique temporelle linéaire (LTL : linear temporal logic). Elle combine librement les quantificateurs sur chemins et les opérateurs temporels. CTL* est de ce fait une logique arborescente. La sémantique des formules CTL* repose sur une structure de Kripke.
rdf:langString
Logika CTL* – jedna z logik temporalnych. Jest oparta na rozgałęzionej strukturze czasu (rozszerzenie logiki LTL o warianty czasu).
xsd:nonNegativeInteger
8897