An Algebraic Approach to the Static Analysis of Concurrent Software
Abstract elided by the publisher.
783 papers · page 28 of 40
Representation Analysis for Coercion Placement
Abstract elided by the publisher.
Refinement of LTL Formulas for Abstract Model Checking
Abstract elided by the publisher.
States vs. Traces in Model Checking by Abstract Interpretation
Abstract elided by the publisher.
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges
Abstract elided by the publisher.
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation
Abstract elided by the publisher.
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes
Abstract elided by the publisher.
Pipeline Modeling for Timing Analysis
Abstract elided by the publisher.
Finiteness Analysis in Polynomial Time
Abstract elided by the publisher.
Backward Type Inference Generalises Type Checking
Abstract elided by the publisher.
Compactly Representing First-Order Structures for Static Analysis
Abstract elided by the publisher.
Static Analysis of the Numerical Stability of Loops
Abstract elided by the publisher.
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties
Abstract elided by the publisher.
Detecting Optimal Termination Conditions of Logic Programs
Abstract elided by the publisher.
A Few Graph-Based Relational Numerical Abstract Domains
This article presents the systematic design of a class of relational numerical abstract domains from non-relational ones. Constructed domains represent sets of invariants of the form (vj - vi ? C), where vj and vi are two variables, and C lives in an abstraction of P(Z), P(Q), or…
Polynomial Constants Are Decidable
Abstract elided by the publisher.
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
Abstract elided by the publisher.
Analysing Approximate Confinement under Uniform Attacks
Abstract elided by the publisher.
Modular Control Flow Analysis for Libraries
Abstract elided by the publisher.
Making Abstract Model Checking Strongly Preserving
Abstract elided by the publisher.