Talks of year 2025
Guest lectures, invited talks, and tutorials
-
The Transformation Game: Joining Forces for Verification (Keynote).
Invited talk
at 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025),
25.
June
2025.
Keyword(s): Software Model Checking, Transformations
Presentation
BibTeX Entry
@invitedtalk{PetriNets25-Transformations, author = {Dirk Beyer}, title = {The Transformation Game: Joining Forces for Verification (Keynote)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-06-25_PetriNets25-Transformations_Dirk.pdf}, keyword = {Software Model Checking, Transformations}, day = {25}, field = {Computer Science}, month = {June}, venue = {<a href="https://petrinets25.github.io/web/speakers/">46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025)</a>}, } -
FM-Tools: A Library of Tools for Formal Methods — Find, Use, Conserve, Execute (Lecture 3).
Invited talk
at Summer School on Fuzzing and Security,
28.
May
2025.
Keyword(s): Software Model Checking
Presentation
BibTeX Entry
@invitedtalk{FuzzingSchool25-3-FM-Tools-Library, author = {Dirk Beyer}, title = {FM-Tools: A Library of Tools for Formal Methods — Find, Use, Conserve, Execute (Lecture 3)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part3-FM-Tools-Library_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, } -
The Transformation Game: Joining Forces for Verification (Lecture 2).
Invited talk
at Summer School on Fuzzing and Security,
28.
May
2025.
Keyword(s): Software Model Checking
Presentation
BibTeX Entry
@invitedtalk{FuzzingSchool25-2-Transformations, author = {Dirk Beyer}, title = {The Transformation Game: Joining Forces for Verification (Lecture 2)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part2-Transformations_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, } -
Software Verification with CPAchecker (Lecture 1).
Invited talk
at Summer School on Fuzzing and Security,
28.
May
2025.
Keyword(s): Software Model Checking
Presentation
BibTeX Entry
@invitedtalk{FuzzingSchool25-1-CPAchecker, author = {Dirk Beyer}, title = {Software Verification with CPAchecker (Lecture 1)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part1-CPAchecker_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, } -
A Unifying View on SMT-Based Software Verification (Guest Lecture).
Invited talk
at NTU Course,
22.
April
2025.
Keyword(s): Software Model Checking
Presentation
BibTeX Entry
@invitedtalk{NTU-GuestLectureNTU-UnifyingViewSMT, author = {Dirk Beyer}, title = {A Unifying View on SMT-Based Software Verification (Guest Lecture)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-04-22_GuestLectureNTU_UnifyingViewSMT_Dirk.pdf}, keyword = {Software Model Checking}, day = {22}, field = {Computer Science}, month = {April}, venue = {<a href="">NTU Course</a>}, }
Conference and other Presentations
-
Certifying Software Verification.
Conference talk
at Dagstuhl Seminar on Certifying Algorithms for Automated Reasoning,
03.
June
2025.
Keyword(s): Software Model Checking, Witnesses
Presentation
BibTeX Entry
@conferencetalk{Dagstuhl25CertAlg-FM-Tools, author = {Dirk Beyer}, title = {Certifying Software Verification}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-06-03_Dagstuhl-CertAlg_Witnesses-2.0_Dirk.pdf}, keyword = {Software Model Checking, Witnesses}, day = {03}, field = {Computer Science}, month = {June}, venue = {Dagstuhl Seminar on Certifying Algorithms for Automated Reasoning}, } -
Advances in Automatic Software Testing: Test-Comp 2025.
Conference talk
at FASE,
08.
May
2025.
Keyword(s): Software Testing, Competition on Software Testing
Presentation
BibTeX Entry
@conferencetalk{FASE25-Test-Comp, author = {Dirk Beyer}, title = {Advances in Automatic Software Testing: Test-Comp 2025}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-08_FASE25_Test-Comp_Dirk.pdf}, keyword = {Software Testing, Competition on Software Testing}, day = {08}, field = {Computer Science}, month = {May}, venue = {FASE}, } -
MoXIchecker: An Extensible Model Checker for MoXI.
Conference talk
at SPIN,
07.
May
2025.
Keyword(s): SMT, Btor2, MoXIchecker
Presentation
BibTeX Entry
@conferencetalk{SPIN-MoXIchecker, author = {Po-Chun Chien}, title = {{MoXIchecker}: {An} Extensible Model Checker for {MoXI}}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-07_SPIN_MoXIchecker_An_Extensible_Model_Checker_for_MoXI_Po-Chun.pdf}, keyword = {SMT, Btor2, MoXIchecker}, day = {07}, field = {Computer Science}, month = {May}, venue = {SPIN}, } -
CPV: A Circuit-Based Program Verifier.
Conference talk
at TACAS,
05.
May
2025.
Keyword(s): Software Model Checking, Cooperative Verification, Btor2
Presentation
BibTeX Entry
@conferencetalk{SVCOMP25-CPV, author = {Po-Chun Chien}, title = {{CPV}: {A} Circuit-Based Program Verifier}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-05_SVCOMP_CPV_A_Circuit-Based_Program_Verifier_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {05}, field = {Computer Science}, month = {May}, poster = {https://www.sosy-lab.org/research/pst/2025-05-05_ETAPS_CPV_Poster.pdf}, venue = {TACAS}, } -
Benchmark Presentation: Verifying Intel TDX Module.
Conference talk
at TACAS,
05.
May
2025.
Keyword(s): Software Model Checking, Competition on Software Verification
Presentation
BibTeX Entry
@conferencetalk{SVCOMP25-IntelTDXBenchmarks, author = {Po-Chun Chien}, title = {Benchmark Presentation: Verifying {Intel} {TDX} Module}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-05_SVCOMP_Benchmark_Presentation_Verifying_Intel_TDX_Module_Po-Chun.pdf}, keyword = {Software Model Checking, Competition on Software Verification}, day = {05}, field = {Computer Science}, month = {May}, poster = {https://www.sosy-lab.org/research/pst/2025-05-05_ETAPS_Intel-TDX_Module_Benchmarks_Poster.pdf}, venue = {TACAS}, } -
Improvements in Software Verification and Witness Validation: SV-COMP 2025.
Conference talk
at TACAS,
05.
May
2025.
Keyword(s): Software Model Checking, Competition on Software Verification
Presentation
BibTeX Entry
@conferencetalk{TACAS25-SV-COMP, author = {Dirk Beyer and Jan Strejček}, title = {Improvements in Software Verification and Witness Validation: {SV-COMP 2025}}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-05_SVCOMP25_DirkJan.pdf}, keyword = {Software Model Checking, Competition on Software Verification}, day = {05}, field = {Computer Science}, month = {May}, venue = {TACAS}, } -
FM-Tools: Find, Use, and Conserve Tools for Formal Methods.
Conference talk
at Dagstuhl Seminar on Information Exchange between Verifiers,
24.
April
2025.
Keyword(s): Software Model Checking
Presentation
BibTeX Entry
@conferencetalk{Dagstuhl25InfoEx-FM-Tools, author = {Dirk Beyer}, title = {FM-Tools: Find, Use, and Conserve Tools for Formal Methods}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-04-24_Dagstuhl-InfoEx_FindUseConserveToolsFormalMethods_Dirk.pdf}, keyword = {Software Model Checking}, day = {24}, field = {Computer Science}, month = {April}, venue = {<a href="">Dagstuhl Seminar on Information Exchange between Verifiers</a>}, } -
Improvements in Software Verification and Witness Validation: SV-COMP 2025.
Conference talk
at SV-COMP Workshop at Frauenchiemsee, Germany,
01.
April
2025.
Keyword(s): Software Model Checking, Competition on Software Verification
Presentation
BibTeX Entry
@conferencetalk{SVCOMP25-SVCOMP, author = {Dirk Beyer and Jan Strejček}, title = {Improvements in Software Verification and Witness Validation: {SV-COMP 2025}}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-04-01_SVCOMP25_DirkJan.pdf}, keyword = {Software Model Checking, Competition on Software Verification}, day = {01}, field = {Computer Science}, month = {April}, venue = {<a href="">SV-COMP Workshop at Frauenchiemsee, Germany</a>}, }
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.