Symbolic model checking using SAT procedures instead of BDDs
Armin Biere(Carnegie Mellon University), Alessandro Cimatti(Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare), E. M. Clarke(Carnegie Mellon University), Masahiro Fujita(Fujitsu (United States)), Yunshan Zhu(Carnegie Mellon University)
Cited by 697
Abstract
Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of NSF or the United States Government. The U. S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation thereon. This manuscript is submitted for publication with the understanding that the U. S. Government is authorized to reproduce and distribute reprints for Governmental purposes.
Related Papers
No related papers found
Powered by citation graph analysis