package

verifast

Description

Verification for C and Java programs via separation logic.

Metadata

Version

25.08

License

Status

Source

pkgs/by-name/ve/verifast/package.nix:107

Homepage

https://people.cs.kuleuven.be/~bart.jacobs/verifast/

Maintainers (1)

Austin Seipp

Platforms (2)

Darwin

Linux

Show all

aarch64-darwin
x86_64-linux