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

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