Proving

Proof-term synthesis on dependent-type systems via explicit substitutions

César Muñoz.

ANSYS duplicate finite-element checker routine

R. Ortega.

Test load verification through strain data analysis

V. Verderaime and F. Harrington.

Simulated bladed MMC disk LCF validation: draft final report

H.F. Merrick, M. Costen.

The application of V&V within reuse-based software engineering

by Edward Addy.

Verification and validation of KBS with neural network components

by Wu Wen and John Callahan.

Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification

prepared for Langley Research Cter.

Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106: contract no. NAS 5-32314

submitted by Aerojet.

V&V within reuse-based software engineering: a position statement for "a NASA focus on software reuse"

by Edward A. Addy.

Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data

D.R. Reddy and T.J. Benson and L.J. Weir ; prepared for the 28th Aerospace Sciences Meeting sponsored by the American Society of Aeronautics and Astronautics, Reno, Nevada, January 8-11, 1990.