التحقق الرسمي, علم الحاسوب, منطق, هندسة البرمجيات

منطق الفصل (Separation Logic)