Welcome to LiVE!


LiVE! was a studentīs project in the Department of Computer Science at the University of Bremen. It started 1997 and ended in summer 1999.

LiVE! is an abbreviation for Linux Verification Enterprise.

More information about LiVE!

Important note: As the project ended in 1999, these pages are no longer being updated.

LiVE! and itīs repository (obsolete)

Bettina Ewgeni Hans-Jürgen Harald Hauke Jan Klaas-Henning Klaus Mark Matthias I. Matthias R. Raymond Sönke Tanja

the start page of LiVE!