Ada Formal Methods in the STARS Environment

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 and/or 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.