Gradual C0: Symbolic Execution for Gradual Verification

Documenti analoghi

• Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
  di: Zimmerman, Conrad, et al.
  Pubblicazione: (2024)
• Gradual Verification for Smart Contracts
  di: Sun, Haojia, et al.
  Pubblicazione: (2023)
• A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
  di: McCormack, Ian, et al.
  Pubblicazione: (2024)
• Gradual Sensitivity Typing
  di: Arquez, Damian, et al.
  Pubblicazione: (2023)
• A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
  di: McCormack, Ian, et al.
  Pubblicazione: (2024)