jMoped: A Test Environment for Java Programs
Abstract elided by the publisher.
2,069 papers · page 66 of 104
Adaptive Symmetry Reduction
Abstract elided by the publisher.
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
Abstract elided by the publisher.
Ticc: A Tool for Interface Compatibility and Composition
We present the tool Ticc ( Tool for Interface Compatibility and Composition ). In Ticc , a component interface describes both the behavior of a component, and the component’s assumptions on the environment’s behavior. Ticc can check the compatibility of such interfaces, and analy…
Languages of Nested Trees
Abstract elided by the publisher.
FAST Extended Release
Abstract elided by the publisher.
DiVinE - A Tool for Distributed Verification
Abstract elided by the publisher.
Automatic Termination Proofs for Programs with Shape-Shifting Heaps
Abstract elided by the publisher.
Lazy Shape Analysis
Abstract elided by the publisher.
The Power of Hybrid Acceleration
Abstract elided by the publisher.
Programs with Lists Are Counter Automata
Abstract elided by the publisher.
Termination of Integer Linear Programs
Abstract elided by the publisher.
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Abstract elided by the publisher.
Some Complexity Results for SystemVerilog Assertions
Abstract elided by the publisher.
Formal Verification of a Lazy Concurrent List-Based Set Algorithm
Abstract elided by the publisher.
Terminator: Beyond Safety
Abstract elided by the publisher.
Formal Specifications on Industrial-Strength Code-From Myth to Reality
Abstract elided by the publisher.
I Think I Voted: E-Voting vs. Democracy
Abstract elided by the publisher.
A Fast Linear-Arithmetic Solver for DPLL(T)
Abstract elided by the publisher.
Don't Care Words with an Application to the Automata-Based Approach for Real Addition
Abstract elided by the publisher.