Program Verification with Property Directed Reachability
Tobias Welp [2013]

Markov Chain Monte Carlo Stimulus Generation for Constrained Random Simulation
Nathan Boyd Kitchen [2010]

Circuit Symmetries in Synthesis and Verification
Donald Chai [2009]