pbnwrap is a parallel statistical model checker for Boolean networks modelled with BooleanNet. It uses OpenMP to simulate and model check parallel runs of BooleanNet models. It has been written by myself and Anvesh Komuravelli.

Downloads

Linux 64bit binaries and sources; v1.0, December 2012 [zip]