GitHub repository: pepega007xd/slplugin
Primary language: OCaml
Created: 2023-11-30T17:11:55Z
Description: Frama-C plugin for shape analysis using separation logic