Accession Number:

ADA289608

Title:

Methodology for Verifying Ada Tasking with Penelope.

Descriptive Note:

Informal technical rept.

Corporate Author:

ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY

Personal Author(s):

Report Date:

1994-02-26

Pagination or Media Count:

55.0

Abstract:

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

Descriptors:

• *SOFTWARE ENGINEERING
• *ADA PROGRAMMING LANGUAGE
• COMPUTER PROGRAMS
• MILITARY FORCES(UNITED STATES)
• AIR FORCE
• VERIFICATION
• RELIABILITY
• CLASSIFICATION
• STARS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE