VERISOFT Formal Verification as Engineering Science

Goal

The object of the Verisoft project is end-to-end, formal correctness verification of a system through all layers of abstraction – from the application software to the hardware. In the subproject ”Automotive”, OFFIS is contributing to the formal verification of a FlexRay bus system

Persons

Duration

Start: 30.06.2005
End: 29.06.2007

Website of project