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

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


Branch: pkgsrc-2017Q4, Version: 17.06nb5, Package name: verifast-17.06nb5, 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:
[x11/ocaml-lablgtk] [lang/ocaml] [lang/camlp4]

Required to build:
[x11/xproto] [x11/xextproto] [x11/compositeproto] [x11/damageproto] [x11/dri2proto] [x11/glproto] [x11/randrproto] [x11/renderproto] [x11/xf86vidmodeproto] [x11/fixesproto4] [x11/inputproto] [x11/xf86driproto] [x11/recordproto] [x11/xcb-proto] [lang/camlp4] [lang/vala] [pkgtools/cwrappers] [pkgtools/x11-links]

Master sites:

SHA1: 9c918c6fa88ab11315fe80abfa097dcc8d0f85cd
RMD160: 8808173823c6697272450ba0eac71cfc4824af54
Filesize: 1658.247 KB

Version history: (Expand)