Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
Using non-convex approximations for efficient analysis of timed automata
Using Structural Recursion for Corecursion
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
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