Accession Number:

ADA614360

Title:

Efficient Verification of Periodic Programs Using Sequential Consistency and Snapshots

Descriptive Note:

Briefing charts

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Report Date:

2014-10-24

Pagination or Media Count:

24.0

Abstract:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE