Software and Computational Systems Lab

Talks about Btor2

1. Po-Chun Chien. 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}, }
2. Po-Chun Chien. 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}, }
3. Po-Chun Chien. 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)}, }
4. Dirk Beyer. 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}, }
5. Po-Chun Chien. 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}, }