Preemption Sealing for Efficient Concurrency Testing
Abstract elided by the publisher.
1,553 papers · page 50 of 78
An Alternative to SAT-Based Approaches for Bit-Vectors
Abstract elided by the publisher.
Boom: Taking Boolean Program Model Checking One Step Further
Abstract elided by the publisher.
On Weak Modal Compatibility, Refinement, and the MIO Workbench
Abstract elided by the publisher.
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
Abstract elided by the publisher.
The OpenSMT Solver
Abstract elided by the publisher.
AlPiNA: An Algebraic Petri Net Analyzer
AlPiNA is a graphical editor and model checker for a class of high-level Petri nets called Algebraic Petri Nets. Its main purpose is to perform reachability checks on complex models. It performs symbolic model checking based on ΣDD, an efficient evolution in the Decision Diagrams…
Statistical Measurement of Information Leakage
Abstract elided by the publisher.
Satisfiability Modulo the Theory of Costs: Foundations and Applications
Abstract elided by the publisher.
Ranking Function Synthesis for Bit-Vector Relations
Abstract elided by the publisher.
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors
Abstract elided by the publisher.
Antichain Algorithms for Finite Automata
We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability problems. Antichains are more succinct than the sets of states manipulated by the traditional fixpoint algori…
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Abstract elided by the publisher.
Simplifying Linearizability Proofs with Reduction and Abstraction
Abstract elided by the publisher.
Rational Synthesis
Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact with other systems, or agents. Many times these agents have objectives of their own, other than to f…
Efficient Büchi Universality Checking
Abstract elided by the publisher.
Optimal Tableau Algorithms for Coalgebraic Logics
Abstract elided by the publisher.
PASS: Abstraction Refinement for Infinite Probabilistic Models
Abstract elided by the publisher.
Fairness for Dynamic Control
Abstract elided by the publisher.
Blocked Clause Elimination
Abstract elided by the publisher.