Accession Number:

ADA399514

Title:

Formal Methods Framework

Descriptive Note:

Final rept. Jun 1999-Jun 2000

Corporate Author:

WETSTONE TECHNOLOGIES CORTLAND NY

Personal Author(s):

Report Date:

2002-02-01

Pagination or Media Count:

103.0

Abstract:

This contract final technical report documents the Formal Methods Framework FMF project results. This project consider the impact of formal methods on industries such as high assurance and telecommunications software and proposes a framework within which formal method can be used more effectively to produce reliable and correct software. A FMF is developed an populated, and areas of future improvement such as extensibility, scalability and range of applications are identified.

Descriptors:

• *COMPUTER PROGRAMS
• *TELECOMMUNICATIONS
• INDUSTRIES

Subject Categories:

• Computer Programming and Software
• Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE