Talks about Verification Witnesses
Guest lectures, invited talks, and tutorials
-
Software Verification and Verification Witnesses.
Invited talk
at Huawei Workshop 2022,
11.
October
2022.
Keyword(s):
Cooperative Verification,
Verification Witnesses,
Competition on Software Verification
Presentation
BibTeX Entry
@invitedtalk{Huawei22, author = {Dirk Beyer}, title = {Software Verification and Verification Witnesses}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-11_Huawei22_SV-COMP-Witnesses_Dirk.pdf}, keyword = {Cooperative Verification, Verification Witnesses, Competition on Software Verification}, day = {11}, field = {Computer Science}, month = {October}, venue = {Huawei Workshop 2022}, }
Conference and other Presentations
-
Cross-Application of Hardware and Software Verification.
Conference talk
at ConVeY Workhop 2024 (co-located with ETAPS),
06.
April
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
Verification Witnesses,
Btor2
Presentation
BibTeX Entry
@conferencetalk{ConVeY24-CrossApplyHwSwVerification, author = {Po-Chun Chien}, title = {Cross-Application of Hardware and Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-06_ConVeY_Cross-Application_of_HW_SW_Verification_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Verification Witnesses, Btor2}, day = {06}, field = {Computer Science}, month = {April}, venue = {<a href="https://convey.ifi.lmu.de/workshops/2024/spring/program.html">ConVeY Workhop 2024</a> (co-located with ETAPS)}, } -
Fault Localization on Verification Witnesses (Poster Paper).
Conference talk
at ICSE 2024,
14.
April
2024.
Keyword(s):
Software Model Checking,
Verification Witnesses,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{ICSE24-FaultLocalizationOnWitnesses-Poster, author = {Dirk Beyer and Matthias Kettl and Thomas Lemberger}, title = {Fault Localization on Verification Witnesses (Poster Paper)}, year = {2024}, presentation = {https://www.sosy-lab.org/research/pst/2024-03-05_ICSE24_Fault_Localization_on_Verification_Witnesses_Poster.pdf}, keyword = {Software Model Checking, Verification Witnesses, CPAchecker}, day = {14}, field = {Computer Science}, month = {April}, venue = {ICSE 2024}, } -
Case Study on Verification-Witness Validators: Where We Are and Where We Go.
Conference talk
at SAS 2022,
05.
December
2022.
Keyword(s):
Verification Witnesses
Presentation
BibTeX Entry
@conferencetalk{SAS22, author = {Dirk Beyer}, title = {Case Study on Verification-Witness Validators: Where We Are and Where We Go}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-05_SAS22_CaseStudyOnVerificationWitnessValidators_Dirk.pdf}, keyword = {Verification Witnesses}, day = {05}, field = {Computer Science}, month = {December}, venue = {SAS 2022}, }
Disclaimer:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.