moloch-verify 0.1.0

Formal verification and runtime invariant checking for Moloch
Documentation