 |
| | | | | Erläuterung | | Unter einem (unendlichen) Pfad im Berechnungsbaum einer Kripke-Struktur versteht man eine mögliche Ausführungsvariante des durch die Kripke-Struktur modellierten Systems.
Diese Ausführungsvariante beginnt in einem ausgezeichneten Startzustand, der an der Wurzel des Berechnungsbaums und damit am Anfang des betrachteten Pfades steht. Aussagen über Pfade im Berechnungsbaum können mit Hilfe von Pfadquantoren und temporalen Operatoren gemacht werden. | |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | Pfad | | | | |  | Erläutert Technologien | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
