scientific article; zbMATH DE number 7233822

MaRDI QIDQ3306500zbMATH OpenFDO

Authors Hanpin Wang, B. Zhang

Publication date 12 August 2020

zbMATH Keywords

bi-abductionformal methodprogram verificationseparation logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The SAT-based approach to separation logic
• A separation logic for a promising semantics
• Separation logics and modalities: a survey
• Towards algebraic separation logic
• Practical Tactics for Separation Logic
• Separation logic style reasoning in a refinement based language
• Revisiting concurrent separation logic

Cited in

(1)

• Reasoning about block-based cloud storage systems via separation logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3306500)