Ada Formal Methods in the STARS Environment
Informal technical rept.
PARAMAX SYSTEMS CORP RESTON VA TACTICAL SYSTEMS DIV
Pagination or Media Count:
This report is an interim product of Task 18. It is not intended to be a comprehensive review of work to be done on the Task, or even of work that has already been done as the title of the deliverable might suggest. Rather, the report is a collection of several possible ways in which tools supporting formal methods might be made interoperable andor integrated into a SEE. The possibilities discussed are merely representative, and are limited only by the effort available for completing the report. Much of the discussion relates to work being done in Ada verification at ORA, which is the STARS subcontractor primarily responsible for Task 18. SEE, formal methods, Ada, Penelope.
- Computer Programming and Software