Weltweit formieren sich zur Zeit Allianzen gegen die Geschäftspraktiken marktbeherrschender Softwareunternehmen und die mangelhafte Qualität ihrer Produkte. Parallel dazu ist es in den letzten Jahren durch die weltweite offene Zusammenarbeit von Entwicklerinnen und Entwicklern in Forschung und Industrie gelungen, eine ernstzunehmende Alternative zu den im PC-Bereich dominierenden Windows-Betriebssystemen zu entwickeln. Das Linux-Betriebssystem erfreut sich rapide wachsender Beliebtheit, da es ein leistungsfähiges Multitasking-System für PCs bietet, welches in Hinblick auf Stabilität und Performance den Windows-Produkten überlegen ist und gleichzeitig inklusive Quellcode kostenfrei im Internet oder gegen geringes Entgelt von kommerziellen Distributoren zu erwerben ist. Ziel des Projekts LiVE! war es, die Zuverlässigkeit des Linux-Betriebssystems noch weiter zu steigern. Im Rahmen des Projekts wurden daher einige kritische Komponenten des Kerns sowie kritische Anwendungen analysiert bzw. weiterentwickelt. Es handelt sich dabei um eine ACL-Implementierung (Access Control Lists), das Linux-eigene Message-Queue-Konzept, einen Ansatz zum Symmetric Multiprocessing und einen fehlertoleranten Mail-Server. Die verwendeten Methoden sind formaler Art: Fehlerbaum-Analyse, formale Verifikation und spezifikationsbasiertes automatisiertes Testen. Die inhaltlichen Arbeiten am Projekt wurden im August '99 abgeschlossen, der Projektbericht wird voraussichtlich Anfang 2000 verfügbar sein.