Learning Minimal Separating DFA's for Compositional Verification
Abstract elided by the publisher.
1,553 papers · page 52 of 78
Parametric Trace Slicing and Monitoring
Abstract elided by the publisher.
Verifying Reference Counting Implementations
Abstract elided by the publisher.
The Complexity of Predicting Atomicity Violations
Abstract elided by the publisher.
Büchi Complementation and Size-Change Termination
Abstract elided by the publisher.
Ground Interpolation for the Theory of Equality
Given a theory $\mathcal{T}$ and two formulas A and B jointly unsatisfiable in $\mathcal{T}$, a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by A and B , (ii) it is entailed by A in $\mathcal{T}$, and (iii) it is unsatisfiable with …
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
Abstract elided by the publisher.
Specification Mining with Few False Positives
Abstract elided by the publisher.
From Tests to Proofs
Abstract elided by the publisher.
Semantic Reduction of Thread Interleavings in Concurrent Programs
Abstract elided by the publisher.
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
Abstract elided by the publisher.
Computing Weakest Strategies for Safety Games of Imperfect Information
Abstract elided by the publisher.
TaPAS: The Talence Presburger Arithmetic Suite
Abstract elided by the publisher.
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
Abstract elided by the publisher.
All-Termination(T)
Abstract elided by the publisher.
Hierarchical Adaptive State Space Caching Based on Level Sampling
Abstract elided by the publisher.
Bridging the Gap Between Model-Based Development and Model Checking
Abstract elided by the publisher.
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
Abstract elided by the publisher.
Memoised Garbage Collection for Software Model Checking
Abstract elided by the publisher.
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
Abstract elided by the publisher.