CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution)
Abstract elided by the publisher.
1,553 papers · page 45 of 78
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Abstract elided by the publisher.
Weighted Pushdown Systems with Indexed Weight Domains
Abstract elided by the publisher.
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution)
Abstract elided by the publisher.
Automatic Testing of Real-Time Graphics Systems
Abstract elided by the publisher.
Threader: A Verifier for Multi-threaded Programs - (Competition Contribution)
Abstract elided by the publisher.
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
Abstract elided by the publisher.
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
Abstract elided by the publisher.
LTL Model-Checking for Malware Detection
Abstract elided by the publisher.
Intertwined Forward-Backward Reachability Analysis Using Interpolants
Abstract elided by the publisher.
CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution)
Abstract elided by the publisher.
Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory
Abstract elided by the publisher.
Asynchronous Multi-core Incremental SAT Solving
Abstract elided by the publisher.
Efficient Property Preservation Checking of Model Refinements
Abstract elided by the publisher.
Counter-Example Guided Fence Insertion under TSO
Abstract elided by the publisher.
From Under-Approximations to Over-Approximations and Back
Abstract elided by the publisher.
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Abstract elided by the publisher.
LTL to Büchi Automata Translation: Fast and More Deterministic
We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into Buchi automata via very weak alternating co-Buchi automata and generalized Buchi automata. Several improvements are based on specific properties of any formula where each branch of its s…
Coupling and Importance Sampling for Statistical Model Checking
Abstract elided by the publisher.
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution)
Abstract elided by the publisher.