Program
Sunday, April 23
Session 1
–
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 ProgramsSpeaker: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 ToolsSpeaker:Dirk Beyer
Discussions
–
Coffee Break and End of Workshop
–