Research project at semantics and verification of parallel systems

Current Projects

Logo for SF 4.0

Software systems play an important role in today’s economy and society and existing software systems are challenged by new requirements and environmental changes. To deal with these challenges, the LOEWE project Software-Factory 4.0 aims at developing innovative concepts, techniques, and tools to support mostly automatic reengineering of software. The three main research goals are: flexibilization of specialized software systems, parallelization of software, and simplification of the reengineering.

The research group semantics and verification of parallel systems contributes to part project L in Software-Factory 4.0. Part project L looks into the functional correctness of the parallelized program. It focus is on the functional equivalence between sequential and parallelized program.

The LOEWE project Software-Factory 4.0 is a 4-year project funded by the German State of Hesse.