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
Format:
pdf