Formal Methods Framework
Final rept. Jun 1999-Jun 2000
WETSTONE TECHNOLOGIES CORTLAND NY
Pagination or Media Count:
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.
- Computer Programming and Software
- Radio Communications