Getting started with PVS