A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

Documenti analoghi

• Partial Incorrectness Logic
  di: Verscht, Lena, et al.
  Pubblicazione: (2025)
• Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
  di: Zhang, Linpeng, et al.
  Pubblicazione: (2024)
• A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
  di: Kappé, Tobias, et al.
  Pubblicazione: (2023)
• Cyclic Proofs in Hoare Logic and its Reverse
  di: Brotherston, James, et al.
  Pubblicazione: (2025)
• Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
  di: Zimmerman, Conrad, et al.
  Pubblicazione: (2024)