| Property |
Value |
| dbo:abstract
|
- 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. (fr)
- 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. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8343 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:auteur
|
- E. Allen Emerson (fr)
- Joseph Y. Halpern (fr)
- E. Allen Emerson (fr)
- Joseph Y. Halpern (fr)
|
| prop-fr:date
|
- Janvier 1986 (fr)
- Janvier 1986 (fr)
|
| prop-fr:doi
| |
| prop-fr:format
| |
| prop-fr:fr
|
- logique du temps arborescent (fr)
- logique du temps arborescent (fr)
|
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:numéro
| |
| prop-fr:passage
| |
| prop-fr:périodique
| |
| prop-fr:titre
|
- “Sometimes” and “Not Never” Revisited: On Branching versus Linear Time Temporal Logic (fr)
- “Sometimes” and “Not Never” Revisited: On Branching versus Linear Time Temporal Logic (fr)
|
| prop-fr:trad
|
- Computation tree logic (fr)
- Computation tree logic (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 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. (fr)
- 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. (fr)
|
| rdfs:label
|
- CTL* (en)
- CTL* (fr)
- Logika CTL* (pl)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
