 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Glossareintrag |
|
Vollständigkeit |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Erläuterung | |||||||||
| |||||||||
| Die Vollständigkeit einer (formalen) Verifikation bedeutet, dass in jedem Zustand, den das Modell im Ablauf einnehmen kann, immer die Erfüllung aller (relevanten) Eigenschaften aus der Spezifikation geprüft wird. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Vollständigkeit | ||||
| ||||
| ||||
| ||||
| ||||
 | Erläutert Technologien | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| | | ||
| ||||||||||||||
|
