Logo Uni weis auf blau  

Logo FB4
 Markus Wagner


 Path: Markus Wagner»Research & Projects

Research & Projects
Pinselstrich rechts
Pinselstrich links


Research Interests

Past Projects

Verisoft / Verisoft XT

The aim of the Verisoft Project, and its successor Verisoft XT, is to facilitate the complete, formal verification of computer systems.
Verisoft project page and Verisoft Email Client project page | Verisoft XT project page