Proving Stabilization of Biological Systems
Abstract elided by the publisher.
642 papers · page 20 of 33
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
Abstract elided by the publisher.
Abstract Probabilistic Automata
Abstract elided by the publisher.
Are Cells Asynchronous Circuits? - (Invited Talk)
Abstract elided by the publisher.
Strengthening Induction-Based Race Checking with Lightweight Static Analysis
Abstract elided by the publisher.
Access Nets: Modeling Access to Physical Spaces
Abstract elided by the publisher.
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
Abstract elided by the publisher.
Verifying Deadlock-Freedom of Communication Fabrics
Abstract elided by the publisher.
Static Analysis of Finite Precision Computations
Abstract elided by the publisher.
An Evaluation of Automata Algorithms for String Analysis
Abstract elided by the publisher.
Automata Learning with Automated Alphabet Abstraction Refinement
Abstract elided by the publisher.
Towards Complete Reasoning about Axiomatic Specifications
To support verification of expressive properties of functional programs, we consider algebraic style specifications that may relate multiple user-defined functions, and compare multiple invocations of a function for different arguments. We present decision procedures for reasonin…
String Analysis as an Abstract Interpretation
Abstract elided by the publisher.
ExplainHoudini: Making Houdini Inference Transparent
Abstract elided by the publisher.
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk)
Abstract elided by the publisher.
Distributed and Predictable Software Model Checking
Abstract elided by the publisher.
Access Analysis-Based Tight Localization of Abstract Memories
Abstract elided by the publisher.
Decision Procedures for Automating Termination Proofs
Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current tools has been on developin…
Formal Analysis of Message Passing - (Invited Talk)
Abstract elided by the publisher.
Collective Assertions
Abstract elided by the publisher.