| Property |
Value |
| dbo:abstract
|
- Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Eine bestimmte Verallgemeinerung der unten beschriebenen Logik, für die der Name CTL steht, wird als CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL*-Formeln. Eine weitere wichtige spezielle Teilmenge von CTL* ist die Linear Temporal Logic (kurz LTL). Wie allgemein bei temporalen Logiken geht es nicht um die Beschreibung von zeitlichen Abläufen (dies wäre die Real Time Logic), sondern um die Eigenschaften von Zuständen und deren Änderung in Systemabläufen. LTL, CTL und CTL* sind dabei Erweiterungen der Aussagenlogik. (de)
- Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Eine bestimmte Verallgemeinerung der unten beschriebenen Logik, für die der Name CTL steht, wird als CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL*-Formeln. Eine weitere wichtige spezielle Teilmenge von CTL* ist die Linear Temporal Logic (kurz LTL). Wie allgemein bei temporalen Logiken geht es nicht um die Beschreibung von zeitlichen Abläufen (dies wäre die Real Time Logic), sondern um die Eigenschaften von Zuständen und deren Änderung in Systemabläufen. LTL, CTL und CTL* sind dabei Erweiterungen der Aussagenlogik. (de)
|
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Eine bestimmte Verallgemeinerung der unten beschriebenen Logik, für die der Name CTL steht, wird als CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL*-Formeln. Eine weitere wichtige spezielle Teilmenge von CTL* ist die Linear Temporal Logic (kurz LTL). (de)
- Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Eine bestimmte Verallgemeinerung der unten beschriebenen Logik, für die der Name CTL steht, wird als CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL*-Formeln. Eine weitere wichtige spezielle Teilmenge von CTL* ist die Linear Temporal Logic (kurz LTL). (de)
|
| rdfs:label
|
- Computation Tree Logic (de)
- Computation Tree Logic (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
