package

verifast

Description

Verification for C and Java programs via separation logic.

Metadata

Version

24.08.30

License

Status

Source

pkgs/applications/science/logic/verifast/default.nix:44

Homepage

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

Maintainers (1)

Austin Seipp

Platforms (1)

Linux

Show all

x86_64-linux