DMCA

Advanced unbounded model checking based on aigs, bdd sweeping, and quantifier scheduling

by Florian Pigorsch , Christoph Scholl , Stefan Disch
Venue:in Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD). IEEE Computer Society Press, Nov 2006
Citations:10 - 5 self