BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Cooperative Software Verification: Combination Approaches that Sha
 re Information - Dirk Beyer (Ludwig-Maximilians-Universität München)
DTSTART:20220707T083000Z
DTEND:20220707T093000Z
UID:TALK175775@talks.cam.ac.uk
DESCRIPTION:Cooperative verification is an approach where several verifier
 s help each other solving the verification problem by sharing artifacts ab
 out the verification task. There are many verification tools available\, b
 ut the power of combining them is not yet fully leveraged. The probem is t
 hat in order to use verifiers 'off-the-shelf'\, we need clear interfaces t
 o invoke the tools and to pass information. Part of the interfacing probem
  is to define standard artifacts to be passed between verifiers. We first 
 give a brief overview of CPAchecker\, an open-source framework for softwar
 e verification\, and then explain a few recent approaches for cooperative 
 combinations.\nPDF of presentation: https://www.sosy-lab.org/research/prs/
 2022-07-07_VVS22_CooperativeVerification_Dirk.pdf\nReferences:\n\nVerifica
 tion Witnesses (TOSEM): https://doi.org/10.1145/3477579\nA Unifying View o
 n SMT-Based Software Verification (JAR): https://doi.org/10.1007/s10817-01
 7-9432-6\nCoVeriTeam: On-Demand Composition of Cooperative Verification Sy
 stems (Proc. TACAS): https://doi.org/10.1007/978-3-030-99524-9_31\nDecompo
 sing Software Verification into Off-the-Shelf Components: An Application t
 o CEGAR (Proc. ICSE): https://www.sosy-lab.org/research/pub/2022-ICSE.Deco
 mposing_Software_Verification_into_Off-the-Shelf-Components.pdf\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR