EDD: A Declarative Debugger for Sequential Erlang Programs
Abstract elided by the publisher.
1,553 papers · page 41 of 78
Proving Nontermination via Safety
Abstract elided by the publisher.
APTE: An Algorithm for Proving Trace Equivalence
Abstract elided by the publisher.
IC3 Modulo Theories via Implicit Predicate Abstraction
We present a novel approach for generalizing the IC3 algorithm for invariant checking from finite-state to infinite-state transition systems, expressed over some background theories. The procedure is based on a tight integration of IC3 with Implicit (predicate) Abstraction, a tec…
Monitoring Modulo Theories
Abstract elided by the publisher.
Permissive Controller Synthesis for Probabilistic Systems
Abstract elided by the publisher.
Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution)
Abstract elided by the publisher.
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
Abstract elided by the publisher.
Ultimate Kojak - (Competition Contribution)
Abstract elided by the publisher.
Analyzing the Next Generation Airborne Collision Avoidance System
Abstract elided by the publisher.
Detecting Unrealizable Specifications of Distributed Systems
Abstract elided by the publisher.
Characterizing Algebraic Invariants by Differential Radical Invariants
Abstract elided by the publisher.
FDR3 - A Modern Refinement Checker for CSP
Abstract elided by the publisher.
FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution)
Abstract elided by the publisher.
Synthesizing Safe Bit-Precise Invariants
Abstract elided by the publisher.
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
Abstract elided by the publisher.
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution)
Abstract elided by the publisher.
Quasi-Equal Clock Reduction: More Networks, More Queries
Abstract elided by the publisher.
Symbolic Synthesis for Epistemic Specifications with Observational Semantics
Abstract elided by the publisher.
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence
Abstract elided by the publisher.