Reliable Software through Very High-Level Verification.

Abstract

A substantial body of software to be used for the research was in operation on a DEC-10 and this software was transported to the Virginia Tech VM/CMS system. Significant difficulties were encountered in bringing this software into satisfactory operation in this environment.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 15, 1980
Accession Number
ADA083611

Entities

People

  • Richard J. Orgass

Organizations

  • Virginia Tech

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Digital Communications
  • Education
  • Environment
  • Language
  • Operating Systems
  • Security
  • Simulations
  • Software Development
  • Specifications
  • Students
  • Virginia

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Parallel and Distributed Computing.
  • Theoretical Analysis.