Talks about Competition on Software Verification
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
-
12th Competition on Software Verification.
Conference talk
at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software,
26.
April
2023.
Keyword(s):
Competition on Software Verification
Presentation
BibTeX Entry
@conferencetalk{TOOLympics23-SVCOMP, author = {Dirk Beyer}, title = {12th Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-26_TOOLympics23_SV-COMP_Dirk.pdf}, keyword = {Competition on Software Verification}, day = {26}, field = {Computer Science}, month = {April}, venue = {<a href="https://etaps.org/2023/">ETAPS 2023 – European Joint Conferences on Theory and Practice of Software</a>}, } -
12th Competition on Software Verification.
Conference talk
at TACAS 2023,
24.
April
2023.
Keyword(s):
Competition on Software Verification
Presentation
BibTeX Entry
@conferencetalk{TACAS23-SVCOMP-Poster, author = {Dirk Beyer}, title = {12th Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/pst/2023-04-24_TACAS23_SV-COMP_Poster.pdf}, keyword = {Competition on Software Verification}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, } -
12th Competition on Software Verification.
Conference talk
at TACAS 2023,
24.
April
2023.
Keyword(s):
Competition on Software Verification
Presentation
BibTeX Entry
@conferencetalk{TACAS23-SVCOMP, author = {Dirk Beyer}, title = {12th Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-24_TACAS23_SV-COMP_Dirk.pdf}, keyword = {Competition on Software Verification}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, }
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.