Accession Number : ADA289608

Title :   Methodology for Verifying Ada Tasking with Penelope.

Descriptive Note : Informal technical rept.

Corporate Author : ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY

PDF Url : ADA289608

Report Date : 26 FEB 1994

Pagination or Media Count : 55

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