Accession Number:

ADA625064

Title:

Towards Rapid Re-Certification Using Formal Analysis

Descriptive Note:

Briefing charts

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA INST FOR SOFTWARE RESEARCH

Personal Author(s):

Report Date:

2015-05-01

Pagination or Media Count:

36.0

Abstract:

Outline. 1. Problem Overview Why is software recertification hard What s the risk 2. What kind of solution is needed 3. Technical Background. 4. Approach, Running Example. Conflict Detection, Reconciliation. 5. Recertification Triggers. 6. Does it scale 7. Future Work.

Subject Categories:

  • Information Science
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE