SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Archived
326 stars
37 watching
24 forks
Language: OCaml
last commit: about 8 years ago
Linked from 1 awesome list
ocaml-community/awesome-ocaml