verifast

VeriFast code verifier in separation logic

Details

Homepage:

https://github.com/verifast

License:

MIT

Maintainer:

Tai Chi Minh Ralph Eastwood

Built at:

2018-07-17 13:18

Installed size:

5.82 MiB

Popularity:

No usages in 102 reports

Depending on:

• musl>=0.9.9_{_1}
• z3>=4.6.0_{_2}