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
https://www.sosy-lab.org/people/beyer/
Title:
Cooperative Software Verification
Abstract:
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].
References:
[1] https://www.sosy-lab.org/research/pub/2018-ICSE.Reducer-Based_Construction_of_Conditional_Verifiers.pdf
[2] https://www.sosy-lab.org/research/pub/2016-FSE.Correctness_Witnesses_Exchanging_Verification_Results_between_Verifiers.pdf
[3] https://www.sosy-lab.org/research/pub/2018-TAP.Tests_from_Witnesses_Execution-Based_Validation_of_Verification_Results.pdf