Sound Gradual Verification with Symbolic Execution
Zimmerman, Conrad, DiVincenzo, Jenna, Aldrich, Jonathan
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
Rego, Marilyn, Fan, Wen, Hu, Xin, Dod, Sanya, Ni, Zhaorui, Xie, Danning, DiVincenzo, Jenna, Tan, Lin
Year of Publication 04.11.2024
Year of Publication 04.11.2024
Get full text
Journal Article
Gradual Verification for Smart Contracts
Sun, Haojia, Singh, Kunal, Ramos-Dávila, Jan-Paul, Aldrich, Jonathan, DiVincenzo, Jenna
Year of Publication 22.11.2023
Year of Publication 22.11.2023
Get full text
Journal Article
Gradual C0: Symbolic Execution for Gradual Verification
DiVincenzo, Jenna, McCormack, Ian, Gouni, Hemant, Gorenburg, Jacob, Ramos-Dávila, Jan-Paul, Zhang, Mona, Zimmerman, Conrad, Sunshine, Joshua, Tanter, Éric, Aldrich, Jonathan
Year of Publication 05.10.2022
Year of Publication 05.10.2022
Get full text
Journal Article
Gradual Verification for Smart Contracts
Sun, Haojia, Singh, Kunal, Jan-Paul Ramos-Dávila, Aldrich, Jonathan, DiVincenzo, Jenna
Published in arXiv.org (03.07.2024)
Get full text
Published in arXiv.org (03.07.2024)
Paper