 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Glossareintrag |
|
Zustand |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Erläuterung | |||||||||
| |||||||||
| Der Zustand eines Systems bzw. eines Modells, das ein System modelliert, resultiert beim Model Checking aus der Belegung aller vorhandenen Systemvariablen. Dementsprechend liegt ein Zustandswechsel (über eine Transition) vor, wenn sich die Werteausprägung einer Systemvariablen ändert.
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren
| ||||||||||||||
|
