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

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

Verifying Termination of General Logic Programs with Concrete Queries

Verifying the Enhanced FGS Transfer Mode Flight Software

Verifying the gravitational shift due to the earth's rotation

Verifying the intermediate mass black hole nature of the ultraluminous X-ray source HLX-1 associated with ESO 243-49