Dependable Systems Group

HPSV project kicked off

Feb 04, 2016

The BMBF project HPSV (Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry) started today. Together with the Zuse Institute Berlin (A. Reinefeld), the group Programming Languages and Compiler Construction of the Kiel University, and the industrial partners Model Engineering Solutions and Symtavision, we work on the solution of demanding verification tasks with techniques from the high performance computing domain. Our group Dependable Systems serves as the project leader.