Verification Engineering Test Article (VETA) - I: The Challenge of the Congressional Mandate for a Comprehensive Test of the P1/H1 Mirror Elements

Verification Engineering Test Article (VETA) - II: The Path to a Successful Flight Build

Verification facility for cryogenic optics, mechanisms, and structures for the SIRTF telescope

Verification of cloud motion winds

Verification of Cosmic Ray e- + e+ Spectrum Using Events with Long Path in the LAT

Verification of Embedded Memory Systems using Efficient Memory Modeling

Verification of Envisat ASAR active antenna thermal design by a thorough sensitivity analysis

Verification of FGS1r and FGS3 Operational Calibrations

Verification of FGS3 TRANS and POS Mode Verification following the NIC Campaign

Verification of IRI plasma temperature at great altitude by satellite data

Verification of Java Bytecode using Analysis and Transformation of Logic Programs

Verification of large-scale rapid transport in the lower thermosphere: Tracking the exhaust plume of STS-107 from launch to the Antarctic

Verification of magnetic field models based on measurements of solar cosmic ray protons in the magnetosphere

Verification of Object-Oriented Programs: a Transformational Approach

Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV

Verification of Point Sources in Backgrounds

Verification of Process Rewrite Systems in normal form

Verification of Ptime reducibility for system F terms via Dual Light Affine Logic

Verification of Ptime Reducibility for system F Terms: Type Inference in<br> Dual Light Affine Logic

Verification of Quality and Compatibility for the Newly Calibrated Clementine NIR Data Set