Verification of Quantum Programs

Verification of radiation background rates in an IR sensor system

Verification of recursive parallel systems

Verification of Relational Data-Centric Dynamic Systems with External Services

Verification of single event upset rate estimation methods with on-orbit observations

Verification of SOHO/CELIAS/SEM EUV Flux Calibration Based on Seven Sounding Rocket Flights

Verification of the active deformation compensation system of the LMT/GTM by end-to-end simulations

Verification of the controllability of refractive index by subwavelength structure fabricated by photolithography: toward single-material mid- and far-infrared multilayer filters

Verification of the Hipparcos payload short term stability performances

Verification of the radiation budget in numerical models

Verification of time-delay interferometry techniques using the University of Florida LISA interferometry simulator

Verification of Timed Automata Using Rewrite Rules and Strategies

Verification of Timed Automata Using Rewrite Rules and Strategies

Verification procedure for the wavefront quality of the primary mirrors for the MRO interferometer

Verification processor for SAR calibration and interferometry

Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web

Verification, Validation and Testing of Kinetic Mechanisms of Hydrogen Combustion in Fluid Dynamic Computations

Verification, validation, and testing the New Worlds Observer: first thoughts

Verified Null-Move Pruning

Verified Real Number Calculations: A Library for Interval Arithmetic