Model Checking Via GammaCFA
Abstract elided by the publisher.
642 papers · page 26 of 33
Symmetry and Completeness in the Analysis of Parameterized Systems
Abstract elided by the publisher.
Automated Verification of Shape and Size Properties Via Separation Logic
Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach us…
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
Abstract elided by the publisher.
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
Abstract elided by the publisher.
The Constraint Database Approach to Software Verification
Abstract elided by the publisher.
Constraint Solving for Interpolation
Abstract elided by the publisher.
Model Checking Nonblocking MPI Programs
Abstract elided by the publisher.
Automata-Theoretic Model Checking Revisited
Abstract elided by the publisher.
The Spotlight Principle
Abstract elided by the publisher.
Towards Shape Analysis for Device Drivers
Abstract elided by the publisher.
Combining Shape Analyses by Intersecting Abstractions
Abstract elided by the publisher.
Ranking Abstraction of Recursive Programs
Abstract elided by the publisher.
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
Abstract elided by the publisher.
Complexity Results on Branching-Time Pushdown Model Checking
Abstract elided by the publisher.
Verification of Well-Formed Communicating Recursive State Machines
Abstract elided by the publisher.
What's Decidable About Arrays?
Abstract elided by the publisher.
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety
Abstract elided by the publisher.
Environment Abstraction for Parameterized Verification
Abstract elided by the publisher.
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS
Abstract elided by the publisher.