CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution)
Abstract elided by the publisher.
1,553 papers · page 36 of 78
JDart: A Dynamic Symbolic Analysis Framework
Abstract elided by the publisher.
Partial Order Reduction for Event-Driven Multi-threaded Programs
Abstract elided by the publisher.
Robots at the Edge of the Cloud
Abstract elided by the publisher.
v2c - A Verilog to C Translator
Abstract elided by the publisher.
Bit-Vector Optimization
Abstract elided by the publisher.
Parameterized Compositional Model Checking
Abstract elided by the publisher.
Synthesizing Piece-Wise Functions by Learning Classifiers
Abstract elided by the publisher.
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
We propose a method to construct finite-state reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration two-player games over possibly infinite graphs. The method targets safety games with infinitely many states or wit…
Scalable Verification of Linear Controller Software
Abstract elided by the publisher.
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
When optimizing a thread in a concurrent program (either done manually or by the compiler), it must be guaranteed that the resulting thread is a refinement of the original thread. Most theories of valid optimizations are formulated in terms of valid syntactic transformations on t…
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems
Abstract elided by the publisher.
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution)
Abstract elided by the publisher.
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
Abstract elided by the publisher.
LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution)
Abstract elided by the publisher.
2LS for Program Analysis - (Competition Contribution)
Abstract elided by the publisher.
Safety Verification of Continuous-Space Pure Jump Markov Processes
Abstract elided by the publisher.
DIVINE: Explicit-State LTL Model Checker - (Competition Contribution)
Abstract elided by the publisher.
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution)
Abstract elided by the publisher.
Online Timed Pattern Matching Using Derivatives
Abstract elided by the publisher.