Verifiable Computation with Massively Parallel Interactive Proofs

Verifiable Network-Performance Measurements

Verification Across Intellectual Property Boundaries

Verification and Diagnosis Infrastructure of SoC HDL-model

Verification and validation of IRAS on-board software

Verification Condition Generation and Variable Conditions in Smallfoot

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