Die offizielle Projektseite finden Sie unter http://www.Verisoft.de.
Goals and Results
The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are applied, for example, in automotive engineering and in the sector of security technology, are to be mathematically proven.
- application in the sector of mobile phones
- application in the automotive sector
- system for biometric identification
- email system
Structure of the Email System
In Koblenz, the investigations are focussed on the development and verification of the Email Client, especially on the formal proof of the user interface's security and safety
- protection of the user
- protection of the system
Cooperate Project promoted by the BMBF