verifast - VeriFast code verifier in separation logic

Property Value
Distribution NetBSD 8.1
Repository NetBSD amd64
Package filename verifast-18.02nb14.tgz
Package name verifast
Package version 18.02nb14
Package release -
Package architecture amd64
Package type tgz
Category devel
License mit
Maintainer -
Download size 4.03 MB
Installed size 24.73 MB
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.


Package Version Architecture Repository
verifast - - -


Name Value
camlp4 >= 4.07
ocaml >= 4.07.1nb3
ocaml-findlib >= 1.8.0nb5
ocaml-lablgtk >= 2.18.8nb1
ocaml-num >= 1.1nb2
z3 >= 4.8.3


Type URL
Binary Package verifast-18.02nb14.tgz
Source Package verifast

Install Howto

Install verifast tgz package:

# pkg_add verifast

See Also

Package Description
verify-synopsis-1.0.tgz Tool for verifying man pages' SYNOPSIS
verifypc-1.7.tgz Sanity check package dependencies according to pkg-config
verilator-4.012.tgz Verilog HDL simulator
verilog-mode-3.60nb3.tgz Verilog mode for Emacs
veriwell-2.8.7.tgz Verilog Simulator
veusz-1.21nb4.tgz Scientific plotting package
vfontcap-kochi-0.0nb4.tgz Configuration file for VFlib to use kochi-ttf
vfu-3.04nb12.tgz Small, handy, easy-to-use file manager
vic-2.8nb9.tgz MBONE video conferencing tool
vic-devel- MBONE video conferencing tool
vicq-0.4.1nb13.tgz Simple icq client written in perl
vid-1.0.1nb14.tgz Simple-minded image capture program for some USB webcams
viewfax-2.4nb2.tgz Tool for displaying fax files in an X Window
viewnior-1.3nb15.tgz Viewnior is a fast and simple image viewer
viewres-1.0.5.tgz Display widget class hierarchy of the Athena Widget Set