SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
Primary LanguageC
No issues in this repository yet.