User guide for the pvs specification and verification system (beta release)