Methodology for Verifying Ada Tasking with Penelope.

Abstract

This paper sketches a method for Penelope to support verification of Ada programs that use tasking.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 26, 1994
Accession Number
ADA289608

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Classification
  • Computations
  • Consumers
  • Contractors
  • Contracts
  • Cooperation
  • Governments
  • Guarantees
  • Language
  • Notation
  • Numbers
  • Personality
  • Rendezvous
  • Semantics
  • Sequences

Fields of Study

  • Computer science