Vediramana Krishnan, Hari Govind (University of Waterloo, 2019-08-14)
Symbolic Model checking is a widely used technique for automated verification of both hardware and software systems. Unbounded SAT-based Symbolic Model Checking (SMC) algorithms are very popular in hardware verification. ...