 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
|
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Computation Tree Logic (CTL) |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Bei CTL (Computation Tree Logic) handelt es sich um eine Teillogik von CTL*, und zwar um eine temporale Logik mit zeitlicher Verzweigung, in der die temporalen Operatoren Aussagen über Pfade machen, die von einem gegebenen Zustand aus erreichbar sind.
Syntaktisch folgt in CTL-Formeln unmittelbar auf jeden der temporalen Operatoren X, F, G, U und R einer der beiden Pfadquantoren A oder E. Damit entspricht die Syntax der CTL-Zustandsformeln der Syntax der Zustandsformeln in CTL*, während die Syntax der Pfadformeln im Vergleich zu CTL* auf folgende Regel eingeschränkt eingeschränkt wird:
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
 | Übergeordnet | | ||
| ||||
|
| | ||
| ||||
| ||||
| ||||
| ||||
| Computation Tree Logic... | ||||
| ||||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
