./devel/verifast, VeriFast code verifier in separation logic

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2019Q1, Version: 18.02nb12, Package name: verifast-18.02nb12, Maintainer: ryoon

VeriFast is a research prototype of a tool for modular formal
verification of correctness properties of single-threaded and
multithreaded C and Java programs annotated with preconditions and
postconditions written in separation logic.


Required to run:
[lang/camlp4] [lang/ocaml] [x11/ocaml-lablgtk] [math/ocaml-num] [math/z3] [devel/ocaml-findlib]

Required to build:
[lang/camlp4] [lang/vala] [x11/xcb-proto] [x11/xorgproto] [x11/fixesproto4] [pkgtools/x11-links] [pkgtools/cwrappers]

Master sites:

SHA1: 6100ea410e5f7e1c5ceacc16263137f60ebe7ced
RMD160: 28d98b0033a9026599db6098bde6871c47d99ded
Filesize: 1691.426 KB

Version history: (Expand)