Brad D. Bingham, Mark R. Greenstreet. Response property checking via distributed state space exploration. In Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014. pages 15-22, IEEE, 2014. [doi]
Abstract is missing.