This paper from IBM, presented at DVCon India 2015, considers an holistic approach to graph-based verification for logic with sparse state space. You do not require any registration but do of course use Perspec to illustrate using PSS

Don’t forget to join the LinkedIn PSS Group