IC3, PDR, and Friends

reportActive / Technical Report | Accession Number: AD1027075 | Open PDF

Abstract:

We describe the IC3PDR 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.

Author(s):
Gurfinkel, Arie
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
Descriptive Note:
Conference Paper
Supplementary Note:
Fifth Summer School on Formal Techniques , 17 May 2015, 22 May 2015,
Pagination:
0007

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release;

RECORD

Collection: TR
Identifying Numbers
Contract/Grant Number(s):
FA8721-05-C-0003
 Subject Terms
Joint Capability Areas:
JCA_1.2_Force Preparation; JCA_1_Force Support; JCA_1.2.3_Educating; JCA_4.3_Maintain
Communities of Interest:
No COI(s) Identified
Descriptor(s):
algorithms, mathematical analysis
Field(s)/Group(s):
Numerical Mathematics
Report Date:
2015 May 22
Creation Date:
2017 Sep 11