Gradual Verification for Smart Contracts. - Haojia Sun; Kunal Singh; Jan-Paul Ramos-Dávila; Jonathan Aldrich; Jenna DiVincenzo (CoRR, 2023)

Gradual C0: Symbolic Execution for Gradual Verification. - Jenna DiVincenzo; Ian McCormack; Conrad Zimmerman; Hemant Gouni; Jacob Gorenburg; Jan-Paul Ramos-Dávila; Mona Zhang; Joshua Sunshine; Éric Tanter; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2024)