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