Verisoft
Die offizielle Projektseite finden Sie unter http://www.Verisoft.de.
Ziele und Resultat
Das Projektziel ist die durchgängige, formale Verifikation von Computersystemen: die korrekte Funktionsweise von Systemen, wie sie beispielsweise im Automobilbau und in der Sicherheitstechnologie zum Einsatz kommen, soll mathematisch bewiesen werden.
Anwendungsszenarien
- Anwendung aus dem Mobiltelefon-Bereich
- Anwendung aus dem Automotive-Bereich
- Biometrisches Identifikationssystem
- Email-System
Die Struktur des Email-Systems
Der Schwerpunkt der Arbeiten in Koblenz ist die Entwicklung und Verifikation des Email Clients, dabei insbesondere der formale Nachweis der Sicherheit der Benutzerschnittstelle
- Schutz des Benutzers
- Schutz des Systems
Vom BMBF gefördertes Verbundprojekt
Filme
Introduction into Verisoft The Verisoft eCall-Scenario Download (14MB, .avi)
Download (13MB, .avi)
www.verisoft.de, © 2006
www.verisoft.de, © 2006
Kontakt