/sling

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

Primary LanguageC

Watchers