DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Methodology for Verifying Ada Tasking with Penelope.
Informal technical rept.
ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY
Pagination or Media Count:
This paper sketches a method for Penelope to support verification of Ada programs that use tasking.
APPROVED FOR PUBLIC RELEASE