Formal Methods Framework

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2002
Accession Number
ADA399514

Tags

Communities of Interest

  • Advanced Electronics
  • Cyber
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Communication Systems
  • Computer Network Security
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Digital Communications
  • Electronic Commerce
  • Formal Languages
  • Lisp Programming Language
  • Mathematical Logic
  • Military Research
  • Operating Systems
  • Programming Languages
  • Security Protocols
  • Software Testing

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Systems Analysis and Design
  • Technical Research and Report Writing.