Distributed BMC: A Depth-First Approach to Explore Clause Symmetry

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems ◽

10.1109/ecbs.2009.26 ◽

2009 ◽

Cited By ~ 1

Author(s):

S. Campos ◽

J. Neves ◽

L. Zarate ◽

M. Song

Download Full-text