MDG-SAT: an automated methodology for efficient safety checking

@article{Hoque2012MDGSATAA,
  title={MDG-SAT: an automated methodology for efficient safety checking},
  author={Khaza Anuarul Hoque and Otmane A{\"i}t Mohamed and Sa'ed Abed and Mounir Boukadoum},
  journal={IJCCBS},
  year={2012},
  volume={3},
  pages={4-25}
}
Multiway decision graph (MDG) is a canonical representation of a subset of many-sorted first-order logic. It generalises the logic of equality with abstract types and uninterpreted function symbols. The area of satisfiability (SAT) has been the subject of intensive research in recent years, with significant theoretical and practical contributions. In this paper, we propose a new design verification tool integrating MDG and SAT, to check the safety of a design by invariant checking. Using MDG to… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 34 REFERENCES

On the non-termination of MDG-based abstract state enumeration

O. Aït-Mohamed, X. Song, E. Cerny
  • Theoretical Computer Science,
  • 2003
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Integrating SAT with Multiway Decision Graphs for efficient model checking

  • 2007 Internatonal Conference on Microelectronics
  • 2007
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

An Extensible SAT-solver

VIEW 1 EXCERPT
HIGHLY INFLUENTIAL