Documenti analoghi

• Proof systems for partial incorrectness logic (partial reverse Hoare logic)
  di: Oda, Yukihiro
  Pubblicazione: (2025)
• Compositional Verification in Concurrent Separation Logic with Permissions Regions
  di: Le, Quang Loc
  Pubblicazione: (2025)
• The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
  di: Oda, Yukihiro, et al.
  Pubblicazione: (2021)
• Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
  di: Zimmerman, Conrad, et al.
  Pubblicazione: (2024)
• A Practical Quantum Hoare Logic with Classical Variables, I
  di: Ying, Mingsheng
  Pubblicazione: (2024)