User-Defined Data Types in the State Delta Verification System (SDVS)

Abstract

This report considers the problem of adapting SDVS to deal with computer programs that involve user-defined data types. Such programs use the data types and supporting functions but typically do not have access to details of the implementation of the data types. Some examples are presented, the solution used in the Boyer-Moore system is discussed, and a description is given of how, with suitable modifications, that solution has been implemented in SDVS.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1990
Accession Number
ADA236077

Entities

People

  • J. E. Doner
  • J. V. Cook

Organizations

  • The Aerospace Corporation

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Facilities
  • Classification
  • Computer Programs
  • Computer Science
  • Computers
  • Corporations
  • Formal Languages
  • Language
  • Programming Languages
  • Security
  • Space Systems
  • Specifications
  • Trees (Data Structures)
  • Verification

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.