Valid formulas, games and network protocols

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus

Variable binding, symmetric monoidal closed theories, and bigraphs

Variations on Multi-Core Nested Depth-First Search

Verification Condition Generation and Variable Conditions in Smallfoot

Verification of Embedded Memory Systems using Efficient Memory Modeling

Verification of Object-Oriented Programs: a Transformational Approach

Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV

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 Quantum Programs

Verification of recursive parallel systems

Verification of Timed Automata Using Rewrite Rules and Strategies

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

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

Verifying Real-Time Systems using Explicit-time Description Methods

Verifying Safety Properties With the TLA+ Proof System

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

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

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