 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Verifikation (Anwendungsgebiete) |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Anwendungsgebiete für die Verifikation sind sowohl Software- als auch Hardware.
Im Softwarebereich spricht man dabei von der sog. Programmverifikation , mit welcher man die Korrektheit von Programmen nachweisen kann. Dabei werden neben sequenziellen auch parallele Programme untersucht. Bei sequenziellen Programmen wird u.a. die Ablieferung des korrekten Ergebnisses und die Terminierung eines Programms nachgewiesen. Bei Programmen mit parallel ablaufenden Komponenten (siehe Nebenläufige Systeme) kommen Eigenschaften wie Interferenz- und Deadlockfreiheit hinzu. Im Hardwarebereich wird durch Verifikationsmethoden bspw. die korrekte Abbildung von der Register-Transfer-Ebene zur Gatter-Ebene sichergestellt. Abweichungen können in diesem Fall bspw. durch Fehler bei manuellen Änderungen oder beim Zusammenfügen von verschiedenen Hardwarekomponenten unterlaufen. Zurück zu Verifikation (formal). | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Verifikation (Anwendungsgebiete) | ||||
| ||||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
