SCIENCE@home

Methods for exploiting SAT solvers in unbounded model checking

K. McMillan

Published 2003 in First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

  • Publication year

    2003

  • Venue

    First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.

  • Publication date

    2003-06-24

  • Fields of study

    Computer Science

  • Identifiers
    DOI 10.1109/MEMCOD.2003.1210098
  • External record

    Open on Semantic Scholar

  • Source metadata

    Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-15 of 15 references · Page 1 of 1

CITED BY

Showing 1-9 of 9 citing papers · Page 1 of 1