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