Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk)
Abstract elided by the publisher.
642 papers · page 21 of 33
Sets with Cardinality Constraints in Satisfiability Modulo Theories
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier-free BAPA (QFBAPA). In c…
Temporal Reasoning for Procedural Programs
Abstract elided by the publisher.
Improved Model Checking of Hierarchical Systems
Abstract elided by the publisher.
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming
Abstract elided by the publisher.
Complexity Bounds for the Verification of Real-Time Software
Abstract elided by the publisher.
An Abstract Domain to Discover Interval Linear Equalities
Abstract elided by the publisher.
Interpolant Strength
Abstract elided by the publisher.
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing
Abstract elided by the publisher.
Analysis of Systems with Stochastic Process Creation
Abstract elided by the publisher.
Abstract Interpretation-Based Protection
Abstract elided by the publisher.
Invariant and Type Inference for Matrices
Abstract elided by the publisher.
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Abstract elided by the publisher.
Advances in Probabilistic Model Checking
Abstract elided by the publisher.
Automatic Abstraction for Congruences
Abstract elided by the publisher.
Shape Analysis of Low-Level C with Overlapping Structures
Abstract elided by the publisher.
Building a Calculus of Data Structures
Abstract elided by the publisher.
Abstract Threads
Abstract elided by the publisher.
Verifying Concurrent Programs with Chalice
Abstract elided by the publisher.
Shape Analysis with Reference Set Relations
Abstract elided by the publisher.