SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic

SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic

Logic