Fences in Weak Memory Models
Abstract elided by the publisher.
2,069 papers · page 55 of 104
The Static Driver Verifier Research Platform
Abstract elided by the publisher.
Policy Monitoring in First-Order Temporal Logic
Abstract elided by the publisher.
Robustness in the Presence of Liveness
Abstract elided by the publisher.
RATSY - A New Requirements Analysis Tool with Synthesis
Abstract elided by the publisher.
LTSmin: Distributed and Symbolic Reachability
Abstract elided by the publisher.
libalf: The Automata Learning Framework
Abstract elided by the publisher.
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data
Abstract elided by the publisher.
Fast Acceleration of Ultimately Periodic Relations
Abstract elided by the publisher.
A Model Checker for AADL
Abstract elided by the publisher.
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transformations based on And-Inverter Graphs (AIGs), with a variety of innovative algorithms. A focus on the s…
Merit: An Interpolating Model-Checker
Abstract elided by the publisher.
Model Checking of Linearizability of Concurrent List Implementations
Abstract elided by the publisher.
Gist: A Solver for Probabilistic Games
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions for synthesis of unrealizable specifications Our tool provides the first and efficient implementatio…
Measuring and Synthesizing Systems in Probabilistic Environments
Abstract elided by the publisher.
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics
Abstract elided by the publisher.
Automated Assume-Guarantee Reasoning through Implicit Learning
Abstract elided by the publisher.
Local Verification of Global Invariants in Concurrent Programs
Abstract elided by the publisher.
A Dash of Fairness for Compositional Reasoning
Abstract elided by the publisher.
SPLIT: A Compositional LTL Verifier
Abstract elided by the publisher.