Talks about Software Model Checking
Theses and projects (PhD, MSc, BSc, Project)
-
New Approaches and Visualization for Verification Coverage.
15.
June
2022.
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}, } -
A CPA for String Analysis for Java Programs in CPAchecker.
9.
March
2021.
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
-
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.
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
-
Bridging Hardware and Software Formal Verification.
Conference talk
at FM Doctoral Symposium,
10.
September
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
Btor2,
CPAchecker,
Witness-Based Validation
Presentation
BibTeX Entry
@conferencetalk{FM24-BridgingHwSw, author = {Po-Chun Chien}, title = {Bridging Hardware and Software Formal Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-10_FM24_Bridging_Hardware_and_Software_Formal_Verification_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2, CPAchecker, Witness-Based Validation}, day = {10}, field = {Computer Science}, month = {September}, venue = {FM Doctoral Symposium}, } -
Software Verification with CPAchecker 3.0: Tutorial and User Guide.
Conference talk
at FM 2024,
10.
September
2024.
Keyword(s):
CPAchecker,
Software Model Checking
Presentation
BibTeX Entry
@conferencetalk{FM24-CPAcheckerTutorial, author = {Dirk Beyer and Thomas Lemberger and Philipp Wendler}, title = {Software Verification with CPAchecker 3.0: Tutorial and User Guide}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-10_FM24_CPAchecker_Tutorial.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {10}, field = {Computer Science}, month = {September}, venue = {FM 2024}, } -
The Next Decade of the CPAchecker Development Process.
Conference talk
at 9th International Workshop on CPAchecker (CPA 2024),
09.
September
2024.
Keyword(s):
CPAchecker,
Software Model Checking
Presentation
BibTeX Entry
@conferencetalk{CPA24-CPAcheckerDevelopment, author = {Dirk Beyer and Philipp Wendler}, title = {The Next Decade of the CPAchecker Development Process}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA24_The_Next_Decade_of_the_CPAchecker_Development_Process_Philipp.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {09}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2024/">9th International Workshop on CPAchecker (CPA 2024)</a>}, } -
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Conference talk
at 9th International Workshop on CPAchecker (CPA 2024),
09.
September
2024.
Keyword(s):
CPAchecker,
Software Model Checking
Presentation
BibTeX Entry
@conferencetalk{CPA24-Transferability, author = {Po-Chun Chien}, title = {A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA_A_Transferability_Study_of_Interpolation-Based_HWMC_for_SV_Po-Chun.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {09}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2024/">9th International Workshop on CPAchecker (CPA 2024)</a>}, } -
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Conference talk
at AVM,
05.
September
2024.
Keyword(s):
CPAchecker,
Software Model Checking
Presentation
BibTeX Entry
@conferencetalk{AVM24-Transferability, author = {Po-Chun Chien}, title = {A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-05_AVM_A_Transferability_Study_of_Interpolation-Based_HWMC_for_SV_Po-Chun.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {05}, field = {Computer Science}, month = {September}, venue = {AVM}, } -
Extending the MoXI Eco System.
Conference talk
at OSSyM,
21.
July
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
MoXIchecker
Presentation
BibTeX Entry
@conferencetalk{OSSyM24-MoXIchecker, author = {Dirk Beyer}, title = {Extending the MoXI Eco System}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-07-23_OSSyM24_Extending_the_MoXI_Eco_System_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification, MoXIchecker}, day = {21}, field = {Computer Science}, month = {July}, venue = {OSSyM}, } -
Find, Use, and Conserve Tools for Formal Methods.
Conference talk
at Podeski65,
25.
June
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification
Presentation
BibTeX Entry
@conferencetalk{Podelski65-FM-Tools, author = {Dirk Beyer}, title = {Find, Use, and Conserve Tools for Formal Methods}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-06-25_Podelski65_Find_Use_and_Conserve_Tools_for_Formal_Methods_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification}, day = {25}, field = {Computer Science}, month = {June}, venue = {Podeski65}, } -
Multi-Processing for Distributed Summary Synthesis.
Conference talk
at CPA,
9.
September
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{CPA24-MultiDSS, author = {Thomas Lemberger}, title = {Multi-Processing for Distributed Summary Synthesis}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA24_Multi-Processing_for_Distributed_Summary_Synthesis_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {9}, field = {Computer Science}, month = {September}, venue = {CPA}, } -
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.
Conference talk
at SPIN,
10.
April
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{SPIN24-IMCDF, author = {Po-Chun Chien}, title = {Augmenting Interpolation-Based Model Checking with Auxiliary Invariants}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-10_SPIN_Augmenting_IMC_with_Auxiliary_Invariants_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {10}, field = {Computer Science}, month = {April}, venue = {SPIN}, } -
CPV: A Circuit-Based Program Verifier (Competition Contribution).
Conference talk
at TACAS,
08.
April
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
Btor2
Presentation
BibTeX Entry
@conferencetalk{SVCOMP24-CPV, author = {Po-Chun Chien}, title = {{CPV}: {A} Circuit-Based Program Verifier (Competition Contribution)}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-08_SVCOMP_CPV_A_Circuit-Based_Program_Verifier_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {08}, field = {Computer Science}, month = {April}, venue = {TACAS}, } -
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}, } -
Towards Cooperative Software Verification with Test Generation and Formal Verification.
Conference talk
at SE,
28.
February
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{SE24-Coop, author = {Thomas Lemberger}, title = {Towards Cooperative Software Verification with Test Generation and Formal Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-02-28_SE24-Ernst-Denert-Preis_Towards_Cooperative_Software_Verification_with_Test_Generation_and_Formal_Verification_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {28}, field = {Computer Science}, month = {February}, venue = {SE}, } -
Real-World Software Verification with CPAchecker.
Conference talk
at AVM,
13.
September
2023.
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}, } -
Real-World Software Verification with CPAchecker.
Conference talk
at 8th International Workshop on CPAchecker (CPA 2023),
11.
September
2023.
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>}, } -
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.
Conference talk
at ASE,
13.
September
2023.
Keyword(s):
Software Model Checking,
Cooperative Verification,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{ASE23-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}, } -
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.
Conference talk
at AVM,
13.
September
2023.
Keyword(s):
Software Model Checking,
Cooperative Verification,
Btor2
Presentation
BibTeX Entry
@conferencetalk{AVM23Btor2C, author = {Dirk Beyer}, title = {Bridging Hardware and Software Analysis with {Btor2C}: {A} Word-Level-Circuit-to-{C} Translator}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-13_AVM23_Bridging_Hardware_and_Software_Analysis_with_Btor2C_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {13}, field = {Computer Science}, month = {September}, venue = {AVM}, } -
Software Model Checking: 20 Years and Beyond.
Conference talk
at CPAchecker,
11.
September
2023.
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}, } -
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.
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>}, } -
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.
Conference talk
at TACAS,
26.
April
2023.
Keyword(s):
Software Model Checking,
Cooperative Verification,
Btor2
Presentation
BibTeX Entry
@conferencetalk{TACAS23-Btor2C, author = {Po-Chun Chien}, title = {Bridging Hardware and Software Analysis with {Btor2C}: {A} Word-Level-Circuit-to-{C} Translator}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-26_TACAS23_Bridging_Hardware_and_Software_Analysis_with_Btor2C_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {26}, field = {Computer Science}, month = {April}, venue = {TACAS}, } -
CPAchecker (Competition Contribution for SV-COMP ’23).
Conference talk
at TACAS 2023,
24.
April
2023.
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/pst/2023-04-24_TACAS23_CPAchecker_Poster.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, } -
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.
Conference talk
at 4th Workshop on Cooperative Software Verification (COOP 2023),
23.
April
2023.
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/">4th Workshop on Cooperative Software Verification (COOP 2023)</a>}, } -
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization.
Conference talk
at ESEC/FSE 2022,
15.
November
2022.
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}, } -
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
Conference talk
at CPA 2022 – 7th International Workshop on CPAchecker,
05.
October
2022.
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>}, } -
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
Conference talk
at AVM 2022 – 14th Alpine Verification Meeting,
14.
September
2022.
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>}, } -
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.
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>}, } -
“Late Merges” in CPAchecker.
Conference talk
at Hüttenseminar SoSy-Lab,
11.
July
2022.
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}, } -
Conference talk
at Dagstuhl 2014,
April
2014.
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}, } -
Explicit State Software Model Checking Based on CEGAR and Interpolation.
Conference talk
at FASE 2013,
20.
March
2013.
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}, } -
Explicit State Model Checking Based on CEGAR and Interpolation.
Conference talk
at ISoLA 2012,
15.
October
2012.
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}, } -
Conditional Model Checking.
Conference talk
at FSE12,
15.
November
2012.
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
-
Towards Cooperative Software Verification with Test Generation and Formal Verification.
Defense
at LMU Munich,
12.
December
2022.
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}, } -
Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker.
Defense
at LMU Munich,
28.
September
2022.
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}, } -
Software Verification with Numerical Domains in CPAchecker.
Defense
at LMU Munich,
25.
November
2020.
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.