Walking the Graph: A Holistic Approach to Graph-based Verification for Logic with Sparse State Space Author(s): Sandeep Korrapati, Holger Horbach, Klaus Keuerleber, Alexander Jung Download
