SLAyer in ocaml-community/awesome-ocaml

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

created at Jan. 13, 2016, 9:19 a.m.

OCaml

37 +0

324 +0

32 +0

GitHub