Verification tool to enable approval of complex models and documents. - View it on GitHub