Program Analysis Techniques for Efficient Software Model Checking

Abstract

The need to build next generation air force systems with highly complex functions, but at relatively low cost, will inevitably means a major investment in software. Without highly reliable software, any ambitious air force program cannot succeed. Indeed, software is the keystone (or perhaps the Achilles heel) of most large-scale automation projects; and the problem of making software reliable has become one of today's most important technological challenges.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 28, 2011
Accession Number
ADA567483

Entities

People

  • Chandrasekhar Boyapati
  • Karem Sakallah

Organizations

  • University of Michigan

Tags

Communities of Interest

  • Air Platforms
  • Cyber
  • Energy and Power Technologies
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Availability
  • Classification
  • Collision Avoidance
  • Collision Avoidance Systems
  • Computer Programming
  • Computer Science
  • Debugging
  • Demographic Cohorts
  • Department Of Defense
  • Electrical Engineering
  • Engineering
  • Language
  • Multithreading
  • Reliability
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Distributed Systems and Data Platform Development
  • Maritime Combat Support and Expeditionary Logistics.