Program

Sunday, April 23
Session 1 –
  • Opening
  • Cooperative Verification using Ranged Analysis (PDF)
    Speaker:
    Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, and Heike Wehrheim
  • FuSeBMC v5: Interval Analysis and Methods for Detecting Vulnerabilities (PDF)
    Speaker:
    Mohannad Aldughaim, Kaled Alshmrany, and Lucas Cordeiro
Coffee Break –
Session 2 –
  • CoVeriTeam Service (PDF)
    Speaker:
    Henrik Wachowitz
  • MISOFuzz: A Modular Infrastructure for Scalable Fuzzing Orchestration (PDF)
    Speaker:
    Nicole Gervasoni, Mikhail Lubinets, Ridhi Jain, and Lucas Cordeiro
  • Automatically Composing Portfolios of Software Verifiers by solving Integer Linear Programs (PDF)
    Speaker:
    Cedric Richter
  • EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs
    Speaker:
    Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, and Lucas Cordeiro
Lunch –
Session 3 –
  • How to Join Proofs and Witnesses When Splitting Verification Task Among Verifiers? (PDF)
    Speaker:
    Marie-Christine Jakobs
  • Beyond Automaton-Based Witnesses and Location Invariants (PDF)
    Speaker:
    Simmo Saan and Julian Erhard
  • Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (PDF)
    Speaker:
    Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee
  • A Library of Formal-Methods Tools
    Speaker:
    Dirk Beyer
Discussions –
Coffee Break and End of Workshop –