GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs
Abstract elided by the publisher.
1,553 papers · page 43 of 78
CSeq: A Sequentialization Tool for C - (Competition Contribution)
Abstract elided by the publisher.
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
Abstract elided by the publisher.
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
Abstract elided by the publisher.
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution)
Abstract elided by the publisher.
Equivalence Checking of Quantum Protocols
Abstract elided by the publisher.
On-the-Fly Exact Computation of Bisimilarity Distances
Abstract elided by the publisher.
AppGuard - Enforcing User Requirements on Android Apps
Abstract elided by the publisher.
Polyglot: Systematic Analysis for Multiple Statechart Formalisms
Abstract elided by the publisher.
Structural Counter Abstraction
Abstract elided by the publisher.
Formula Preprocessing in MUS Extraction
Abstract elided by the publisher.
LTL Model Checking of Interval Markov Chains
Abstract elided by the publisher.
Second Competition on Software Verification - (Summary of SV-COMP 2013)
Abstract elided by the publisher.
Deriving Probability Density Functions from Probabilistic Functional Programs
Abstract elided by the publisher.
Encoding Monomorphic and Polymorphic Types
Abstract elided by the publisher.
Synthesis from LTL Specifications with Mean-Payoff Objectives
The classical LTL synthesis problem is purely qualitative: the given LTL specification is realized or not by a reactive system. LTL is not expressive enough to formalize the correctness of reactive systems with respect to some quantitative aspects. This paper extends the qualitat…
PRISM-games: A Model Checker for Stochastic Multi-Player Games
Abstract elided by the publisher.
BULL: A Library for Learning Algorithms of Boolean Functions
Abstract elided by the publisher.
Proof Tree Preserving Interpolation
Craig interpolation in SMT is difficult because, e. g., theory combination and integer cuts introduce mixed literals, i. e., literals containing local symbols from both input formulae. In this paper, we present a scheme to compute Craig interpolants in the presence of mixed liter…
The MathSAT5 SMT Solver
Abstract elided by the publisher.