We are hiring new student research assistants and tutors. Apply now!
4 papers accepted at SPIN 2024!

Talks about CPAchecker

Theses and projects (PhD, MSc, BSc, Project)

  1. Maximilian Hailer. New Approaches and Visualization for Verification Coverage. 15. June 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @misc{HailerVerificationCoverage, author = {Maximilian Hailer}, title = {New Approaches and Visualization for Verification Coverage}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-06-16_MA_New_Approaches_and_Visualization_for_Verification_Coverage_Hailer.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {June}, }
  2. Simon Antonischki. A CPA for String Analysis for Java Programs in CPAchecker. 9. March 2021. Link to this entry Keyword(s): Software Model Checking, CPAchecker
    BibTeX Entry
    @misc{AntonischkiStringCPA, author = {Simon Antonischki}, title = {A CPA for String Analysis for Java Programs in CPAchecker}, year = {2021}, keyword = {Software Model Checking, CPAchecker}, day = {9}, field = {Computer Science}, month = {March}, }

Guest lectures, invited talks, and tutorials

  1. Dirk Beyer. Explicit-State Software Model Checking Based on CEGAR and Interpolation (Test-of-Time Award Presentation). Invited talk at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software, 27. April 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @invitedtalk{ETAPS23ExplicitState, author = {Dirk Beyer}, title = {Explicit-State Software Model Checking Based on CEGAR and Interpolation (Test-of-Time Award Presentation)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-27_ETAPS23-TestOfTimeAward_Explicit_State_Software_Model_Checking_Based_on_CEGAR_and_Interpolation_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {27}, field = {Computer Science}, month = {April}, venue = {<a href="https://etaps.org/2023/">ETAPS 2023 – European Joint Conferences on Theory and Practice of Software</a>}, }

Conference and other Presentations

  1. Dirk Beyer, Matthias Kettl, and Thomas Lemberger. Fault Localization on Verification Witnesses (Poster Paper). Conference talk at ICSE 2024, 14. April 2024. Link to this entry 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/prs/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}, }
  2. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at AVM, 13. September 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{AVM23-RealWorldCpachecker, author = {Thomas Lemberger}, title = {Real-World Software Verification with CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-13_AVM23_Real_World_Verification_with_CPAchecker_Thomas.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {13}, field = {Computer Science}, month = {September}, venue = {AVM}, }
  3. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA23-RealWorld, author = {Thomas Lemberger}, title = {Real-World Software Verification with CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA23_Real_World_Verification_with_CPAchecker_Thomas.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2023/">8th International Workshop on CPAchecker (CPA 2023)</a>}, }
  4. Po-Chun Chien. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Conference talk at ASE, 13. September 2023. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA23-CPADF, author = {Po-Chun Chien}, title = {{CPA-DF}: {A} Tool for Configurable Interval Analysis to Boost Program Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-13_ASE_CPA-DF_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {13}, field = {Computer Science}, month = {September}, venue = {ASE}, }
  5. Philipp Wendler. Handling Flaky Regression Tests in CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry Keyword(s): CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA23-FlakyTests, author = {Philipp Wendler}, title = {Handling Flaky Regression Tests in CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA23_Handling_Flaky_Regression_Tests_in_CPAchecker_Philipp.pdf}, keyword = {CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2023/">8th International Workshop on CPAchecker (CPA 2023)</a>}, }
  6. Dirk Beyer. Software Model Checking: 20 Years and Beyond. Conference talk at CPAchecker, 11. September 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPAchecker23SMC20Years, author = {Dirk Beyer}, title = {Software Model Checking: 20 Years and Beyond}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPAcheckerWS23_SoftwareModelChecking_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {CPAchecker}, }
  7. Po-Chun Chien. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA23-CPADF, author = {Po-Chun Chien}, title = {{CPA-DF}: {A} Tool for Configurable Interval Analysis to Boost Program Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA_CPA-DF_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2023/">8th International Workshop on CPAchecker (CPA 2023)</a>}, }
  8. Daniel Baier, Dirk Beyer, Thomas Bunk, Po-Chun Chien, Matthias Kettl, Nian-Ze Lee, Martin Spiessl, Henrik Wachowitz, and Philipp Wendler. CPAchecker (Competition Contribution for SV-COMP ’23). Conference talk at TACAS 2023, 24. April 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{TACAS23-CPAchecker-Poster, author = {Daniel Baier and Dirk Beyer and Thomas Bunk and Po-Chun Chien and Matthias Kettl and Nian-Ze Lee and Martin Spiessl and Henrik Wachowitz and Philipp Wendler}, title = {CPAchecker (Competition Contribution for SV-COMP ’23)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-24_TACAS23_CPAchecker_Poster.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, }
  9. Po-Chun Chien. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. Conference talk at COOP 2023 - 4th Workshop on Cooperative Software Verification, 23. April 2023. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{COOP23-IMCDF, author = {Po-Chun Chien}, title = {Augmenting Interpolation-Based Model Checking with Auxiliary Invariants}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-23_COOP23_Augmenting_Interpolation-Based_Model_Checking_with_Auxiliary_Invariants_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {23}, field = {Computer Science}, month = {April}, venue = {<a href="https://coop.sosy-lab.org/2023/">COOP 2023 -- 4th Workshop on Cooperative Software Verification</a>}, }
  10. Dirk Beyer. Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization. Conference talk at ESEC/FSE 2022, 15. November 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FSE22, author = {Dirk Beyer}, title = {Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-11-15_FSE2022_BAM-Interprocedural_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {November}, venue = {ESEC/FSE 2022}, }
  11. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at CPA 2022 – 7th International Workshop on CPAchecker, 05. October 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-05_CPA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {05}, field = {Computer Science}, month = {October}, venue = {<a href="https://uol.de/en/computingscience/groups/formal-methods/forschung/7th-international-workshop-on-cpachecker-cpa-22">CPA 2022 – 7th International Workshop on CPAchecker</a>}, }
  12. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at AVM 2022 – 14th Alpine Verification Meeting, 14. September 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{AVM22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-14_AVM22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {14}, field = {Computer Science}, month = {September}, venue = {<a href="https://avm.sosy-lab.org/2022/">AVM 2022 – 14th Alpine Verification Meeting</a>}, }
  13. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications, 11. August 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{iPRA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-08-11_iPRA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {August}, venue = {<a href="https://ipra-2022.bitbucket.io/">iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications</a>}, }
  14. Philipp Wendler. “Late Merges” in CPAchecker. Conference talk at Hüttenseminar SoSy-Lab, 11. July 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{Huette22LateMerges, author = {Philipp Wendler}, title = {“Late Merges” in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-07-11_Huette22_Late_Merges_in_CPAchecker_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, }
  15. Philipp Wendler. Conference talk at Dagstuhl 2014, April 2014. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FASE13ExplicitStateMC, author = {Philipp Wendler}, title = {}, year = {2014}, presentation = {https://www.sosy-lab.org/research/prs/2014-04_Dagstuhl_PredAbs_CPAchecker_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {}, field = {Computer Science}, month = {April}, venue = {Dagstuhl 2014}, }
  16. Stefan Löwe. Explicit State Software Model Checking Based on CEGAR and Interpolation. Conference talk at FASE 2013, 20. March 2013. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FASE13ExplicitStateMC, author = {Stefan Löwe}, title = {Explicit State Software Model Checking Based on CEGAR and Interpolation}, year = {2013}, presentation = {https://www.sosy-lab.org/research/prs/2013-03-20_FASE13_Explicit_State_Software_Model_Checking_Based_on_CEGAR_and_Interpolation_Stefan.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {20}, field = {Computer Science}, month = {March}, venue = {FASE 2013}, }
  17. Stefan Löwe. Explicit State Model Checking Based on CEGAR and Interpolation. Conference talk at ISoLA 2012, 15. October 2012. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{ISOLA12ExplicitStateMC, author = {Stefan Löwe}, title = {Explicit State Model Checking Based on CEGAR and Interpolation}, year = {2012}, presentation = {https://www.sosy-lab.org/research/prs/2012-10-15_ISOLA12-LDV_Explicit_State_Model_Checking_Based_on_CEGAR_and_Interpolation_Stefan.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {October}, venue = {ISoLA 2012}, }
  18. Philipp Wendler. Conditional Model Checking. Conference talk at FSE12, 15. November 2012. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FSE12CMC, author = {Philipp Wendler}, title = {Conditional Model Checking}, year = {2012}, presentation = {https://www.sosy-lab.org/research/prs/2012-11-15_FSE12_Conditional_Model_Checking_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {November}, venue = {FSE12}, }

Thesis defenses

  1. Thomas Lemberger. Towards Cooperative Software Verification with Test Generation and Formal Verification. Defense at LMU Munich, 12. December 2022. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @defense{LembergerPhd, author = {Thomas Lemberger}, title = {Towards Cooperative Software Verification with Test Generation and Formal Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-12_PhD_TowardsCooperativeSoftwareVerification_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {12}, field = {Computer Science}, month = {December}, venue = {LMU Munich}, }
  2. Daniel Baier. Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker. Defense at LMU Munich, 28. September 2022. Link to this entry Keyword(s): Software Model Checking, Symbolic Memory Graphs, CPAchecker Presentation
    BibTeX Entry
    @defense{BaierMA, author = {Daniel Baier}, title = {Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-28_MA_Implementation_of_Value_Analysis_over_Symbolic_Memory_Graphs_in_CPAchecker_Baier.pdf}, keyword = {Software Model Checking, Symbolic Memory Graphs, CPAchecker}, day = {28}, field = {Computer Science}, month = {September}, venue = {LMU Munich}, }
  3. Martin Zehendner. Software Verification with Numerical Domains in CPAchecker. Defense at LMU Munich, 25. November 2020. Link to this entry Keyword(s): Software Model Checking, CPAchecker
    BibTeX Entry
    @defense{ZehendnerBA, author = {Martin Zehendner}, title = {Software Verification with Numerical Domains in CPAchecker}, year = {2020}, keyword = {Software Model Checking, CPAchecker}, day = {25}, month = {November}, venue = {LMU Munich}, }

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.

Last modified: Thu Mar 28 02:04:40 2024 UTC