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 Location: India Year: 2015 Type: Presentation Download