IC3, PDR, and Friends

Abstract

We describe the IC3/PDR algorithms and their various generalizations. Our goal is to give a brief overview of the algorithms and describe them using unified notation. Many crucial optimizations and implementation details are omitted.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 22, 2015
Accession Number
AD1027075

Entities

People

  • Arie Gurfinkel

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Copyrights
  • Department Of Defense
  • Elimination
  • Engineering
  • Guarantees
  • Interpolation
  • Materials
  • Notation
  • Side Effects
  • Software Development
  • United States
  • Universities