Erfahrungen zur (formalen) Verifikation der internationalen Raumstation ISS online.
Der Erfahrungsbericht schildert die Erfahrungen mit der formalen Verifikation der Internationalen Raumstation (ISS). Analysiert wurden Deadlock- und Livelocks. Beschrieben werden neben den zum Einsatz kommenden Verfahren auch Erfahrungen, die in zahlreichen weiteren IT-Projekten zum Einsatz kommen können und so effektiv Dead- und Livelocks vermeiden könnten.
Der Artikel bzw. der PDF Download ist zu finden unter:
