microsoft / SLAyerLinks

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
326Updated 9 years ago

Alternatives and similar repositories for SLAyer

Users that are interested in SLAyer are comparing it to the libraries listed below

Sorting: