Accelerating Interpolation-Based Model-Checking
Abstract elided by the publisher.
1,553 papers · page 54 of 78
Efficient Automatic STE Refinement Using Responsibility
Abstract elided by the publisher.
Efficient Interpolant Generation in Satisfiability Modulo Theories
Abstract elided by the publisher.
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
Abstract elided by the publisher.
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Abstract elided by the publisher.
RESY: Requirement Synthesis for Compositional Model Checking
Abstract elided by the publisher.
On Verifying Fault Tolerance of Distributed Protocols
Abstract elided by the publisher.
Automatically Refining Abstract Interpretations
Abstract elided by the publisher.
On Local Reasoning in Verification
Abstract elided by the publisher.
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
Abstract elided by the publisher.
Reasoning Algebraically About P-Solvable Loops
We present a method for generating polynomial invariants for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses algorithmic combinatorics and algebraic techniques. The approach is shown to be complete for some special cases. By comp…
Fast Directed Model Checking Via Russian Doll Abstraction
Abstract elided by the publisher.
Interprocedural Analysis of Concurrent Programs Under a Context Bound
Abstract elided by the publisher.
On Automated Verification of Probabilistic Programs
Abstract elided by the publisher.
Trusted Source Translation of a Total Function Language
Abstract elided by the publisher.
Hardware Verification: Techniques, Methodology and Solutions
Abstract elided by the publisher.
Quantified Invariant Generation Using an Interpolating Saturation Prover
Abstract elided by the publisher.
Rocket-Fast Proof Checking for SMT Solvers
Abstract elided by the publisher.
Z3: An Efficient SMT Solver
Abstract elided by the publisher.
The Real-Time Maude Tool
Abstract elided by the publisher.