microsoft/SLAyer Issues
Needs a frontend
Updated 4installing on linux
Updated 2Does not compile with Z3 v4.4.2
Updated 13еттш9в7чвч8чач7вчвваа9ав+в6
Closed 2
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.