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

Verifying Computations with Streaming Interactive Proofs

Verifying Eiffel Programs with Boogie

Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker

Verifying FGS Pos Mode Astrometry in Two Gyro Mode

Verifying FGS Trans Mode Astrometry in Two Gyro Mode

Verifying nondeterministic probabilistic channel systems against $ω$-regular linear-time properties

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

Verifying Real-Time Systems using Explicit-time Description Methods

Verifying Recursive Active Documents with Positive Data Tree Rewriting

Verifying Safety Properties With the TLA+ Proof System

Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation

Verifying Search Results Over Web Collections

Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking

Verifying Sierpiński and Riesel Numbers in ACL2