Software Model Checking for Verifying Distributed Algorithms

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 28, 2014
Accession Number
ADA613920

Entities

People

  • Chaki Sagar
  • James Edmondson

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Biomedical
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Case Studies
  • Collision Avoidance
  • Collisions
  • Demographic Cohorts
  • Department Of Defense
  • Engineering
  • Guarantees
  • Information Operations
  • Language
  • Materials
  • Mathematics
  • Software Development
  • Specifications
  • Universities
  • Verification