MIT FORMALER VERIFIKATION LAUFZEITFEHLER FINDEN: Bugs den Garaus machen

摘要

Bei grossem Umfang und hoher Komplexitat von Embedded-Software sind konventionelle Verifikations- und Testmethoden oft keine optimale Losung. Dieser Artikel beschreibt den Einsatz zuverlassiger und vollautomatischer Verifikationsverfahren, wie sie sich zum Beispiel fur die Entwicklung von High-Integrity-Soft-ware anbietet.