NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Formally verifying Ada programs which use real number typesFormal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical language, and proving that the mathematical model has the desired properties using a formal proof calculus. The development and verification of the mathematical model are discussed.
Document ID
19890006911
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Sutherland, David (Odyssey Research Associates, Inc. Ithaca, NY, United States)
Date Acquired
September 5, 2013
Publication Date
January 1, 1986
Publication Information
Publication: NASA, Lyndon B. Johnson Space Center, First International Conference on Ada (R) Programming Language Applications for the NASA Space Station, Volume 1
Subject Category
Computer Programming And Software
Accession Number
89N16282
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available