Efficient Verification of Periodic Programs Using Sequential Consistency and Snapshots

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 24, 2014
Accession Number
ADA614360

Entities

People

  • Arie Gurfinkel
  • Nishant Sinha
  • Sagar Chaki

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Consistency
  • Department Of Defense
  • Engineering
  • Guarantees
  • Information Operations
  • Law
  • Materials
  • Scheduling (Production)
  • Software Development
  • United States
  • Universities
  • Verification