Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Abstract elided by the publisher.
1,553 papers · page 49 of 78
Invariant Generation in Vampire
Abstract elided by the publisher.
Reliable Software Development: Analysis-Aware Design
Abstract elided by the publisher.
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Abstract elided by the publisher.
On Probabilistic Parallel Programs with Process Creation and Synchronisation
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic pushdown systems (a model for sequential …
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy
Abstract elided by the publisher.
Next Generation LearnLib
Abstract elided by the publisher.
Transition Invariants and Transition Predicate Abstraction for Program Termination
Abstract elided by the publisher.
Modelling and Verification of Web Services Business Activity Protocol
Abstract elided by the publisher.
GameTime: A Toolkit for Timing Analysis of Software
Abstract elided by the publisher.
Biased Model Checking Using Flows
Abstract elided by the publisher.
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Abstract elided by the publisher.
Confluence Reduction for Probabilistic Systems
Abstract elided by the publisher.
Büchi Store: An Open Repository of Büchi Automata
Abstract elided by the publisher.
Loop Summarization and Termination Analysis
Abstract elided by the publisher.
Applying CEGAR to the Petri Net State Equation
Abstract elided by the publisher.
When Simulation Meets Antichains
Abstract elided by the publisher.
Automated Termination Analysis for Programs with Second-Order Recursion
Abstract elided by the publisher.
Computing the Leakage of Information-Hiding Systems
Abstract elided by the publisher.
ACS: Automatic Converter Synthesis for SoC Bus Protocols
Abstract elided by the publisher.