Talk: 19 July 2018 at 16:00 in PZ 901

Dirk Beyer, LMU Munich: Cooperative Software Verification

Software and Systems Engineering Invited Presentation:

Thursday, 19.7.2018, 16:00, PZ 901

Dirk Beyer, LMU Munich

Cooperative Software Verification

The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers provide exchangeable information to other verifiers or consume information from other verifiers with the goal of increasing the overall effectiveness and efficiency. As examples for cooperative verification, we explain conditional model checking and program reducers [1], violation and correctness witnesses [2], and execution-based results validation [3].