book chapterLecture notes in computer scienceJan 1, 2003Closed access

Interpolation and SAT-Based Model Checking

KLKenneth L. McMillan

Cadence Design Systems (United States) · Lawrence Berkeley National Laboratory

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

908
total citations
FWCI
37.24
Percentile
100%
References
26
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Model checking
  • Computer science
  • Symbolic trajectory evaluation
  • Benchmark (surveying)
  • Interpolation (computer graphics)
  • Abstraction model checking
  • Set (abstract data type)
  • Programming language
No related works found for this paper.