THE PRINCIPAL TECHNICAL OBJECTIVE IN THIS PROJECT IS TO SHOWTHE FEASIBILITY OF BUILDING TOOLS TO SUPPORT THE FORMAL VERIFICATION OF MATHEMATICAL SOFTWARE.

Award Information
Agency:
National Aeronautics and Space Administration
Branch
n/a
Amount:
$50,000.00
Award Year:
1983
Program:
SBIR
Phase:
Phase I
Contract:
n/a
Award Id:
615
Agency Tracking Number:
615
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
609 W. Clinton St., Ithaca, NY, 14850
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
RICHARD PLATEK
PRINCIPAL INVESTIGATOR
() -
Business Contact:
() -
Research Institute:
n/a
Abstract
THE PRINCIPAL TECHNICAL OBJECTIVE IN THIS PROJECT IS TO SHOWTHE FEASIBILITY OF BUILDING TOOLS TO SUPPORT THE FORMAL VERIFICATION OF MATHEMATICAL SOFTWARE. NO EXISTING VERIFICATION ENVIRONMENT SUPPORTS PROOF OF CORRECTNESS OF PROGRAMS EXECUTING OVER THE DATA STRUCTURE OF THE REAL NUMBER SYSTEM. THERE ARE ALSO VERY FEW INFORMAL COREECTNESS PROOFS OR EVEN THEORETICAL WORK IN THIS AREA. THIS APPROACH IS MULT-TASKED. IT EXAMINES PROOFS OVER THE ABSTRACT MATHEMATICAL REAL NUMBERS AND CLASSIFIES SOFTWARE AS TO THE AMOUNT OF KNOWLEDGE OF THE THEORY OF THE REAL NUMBERS NECESSARY FOR CORRECTNESS PROOFS. THIS STUDY IS PARTICULARLY INTERESTED IN FRAGMENTS OF ANLYSIS WHICH HAVE FAST LOGICAL DECISION PROCEDURES. IT THEN DEVELOPS MODELS AXIOMS FOR THE MACHINE REPRESENTABLE REAL NUMBERS. THE AXIOMS ARE REFLECTIVE OF THE PHENOMENA OF ROUNDOFF, UNDERFLOW AND OVERFLOW. THEN BEGINS THE STUDY OF PROOFS OF CORRECTNESS OF PROGRAMS WITH RESPECT TO THESE NEW AND MORE REALISTIC AXIOMS. IN ADDITION WE BEGIN THE DEVELOPMENT OF A METHODOLOGY BASED ON INCREMENTAL CONCSTRUCTION OF PROGRAMS AND ATTACHED ASSERTIONS. SUCH AN APPROACH, IF SUCCESSFUL, ERASES THE BURDEN ON A NON-EXPERT USER.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government