artifact-57-QCP: A Practical Separation Logic-based C Program Verification Tool

Documenti analoghi

• QCP: A Practical Separation Logic-based C Program Verification Tool
  di: Wu, Xiwei, et al.
  Pubblicazione: (2025)
• Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
  di: Wu, Shushu, et al.
  Pubblicazione: (2025)
• Stellis: A Strategy Language for Purifying Separation Logic Entailments
  di: Wang, Zhiyi, et al.
  Pubblicazione: (2025)
• Verification Algorithms for Automated Separation Logic Verifiers
  di: Eilers, Marco, et al.
  Pubblicazione: (2024)
• {log}: From a Constraint Logic Programming Language to a Formal Verification Tool
  di: Cristiá, Maximiliano, et al.
  Pubblicazione: (2025)