 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Problembeschreibung |
|
Zustandsexplosion |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Bei der Modellierung und formalen Verifikation von Systemen, die nebenläufige Komponenten beinhalten, wächst die Anzahl der zu untersuchenden Zustände des Gesamtsystems exponentiell an und wird mit Hilfe von Model Checking zunehmend schwieriger zu behandeln.
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
 | Typisch im Kontext | | ||
| ||||
|
| | ||
| ||||
| ||||
| ||||
| ||||
| Zustandsexplosion | ||||
| ||||
| ||||
| ||||
| ||||
| Wird behandelt in | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
