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.
- Computer Programming and Software