Shape Analysis in the Absence of Pointers and Structure
Abstract elided by the publisher.
642 papers · page 22 of 33
An Analysis of Permutations in Arrays
Abstract elided by the publisher.
Regular Linear Temporal Logic with Past
Abstract elided by the publisher.
Model-Checking In-Lined Reference Monitors
Abstract elided by the publisher.
Considerate Reasoning and the Composite Design Pattern
Abstract elided by the publisher.
RGSep Action Inference
Abstract elided by the publisher.
Best Probabilistic Transformers
Abstract elided by the publisher.
Static Timing Analysis for Hard Real-Time Systems
Abstract elided by the publisher.
Collections, Cardinalities, and Relations
Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to compute direct and inverse…
Towards Automatic Stability Analysis for Rely-Guarantee Proofs
Abstract elided by the publisher.
Mostly-Functional Behavior in Java Programs
Abstract elided by the publisher.
Advances in Program Termination and Liveness
Abstract elided by the publisher.
Verification of Security Protocols
Abstract elided by the publisher.
The Higher-Order Aggregate Update Problem
Abstract elided by the publisher.
Model Checking: Progress and Problems
Abstract elided by the publisher.
An Abort-Aware Model of Transactional Programming
Abstract elided by the publisher.
Model-Checking the Linux Virtual File System
Abstract elided by the publisher.
LTL Generalized Model Checking Revisited
Abstract elided by the publisher.
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems
Abstract elided by the publisher.
Constraint-Based Invariant Inference over Predicate Abstraction
Abstract elided by the publisher.