Model-Driven Verifying Compilation of Synchronous Distributed Applications

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2014
Accession Number
ADA611041

Entities

People

  • James Edmondson
  • Sagar Chaki

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Biomedical
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Collision Avoidance
  • Collisions
  • Computations
  • Demographic Cohorts
  • Department Of Defense
  • Engineering
  • Fault Tolerance
  • Guarantees
  • Information Operations
  • Intellectual Property
  • Language
  • Materials
  • Software Development
  • Specifications
  • Universities
  • Verification