Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking
Abstract elided by the publisher.
642 papers · page 30 of 33
Approximate Probabilistic Model Checking
Abstract elided by the publisher.
Boolean Algebra of Shape Analysis Constraints
The parametric shape analysis framework of Sagiv, Reps, and Wilhelm [45,46] uses three-valued structures as dataflow lattice elements to represent sets of states at different program points. The recent work of Yorsh, Reps, Sagiv, Wilhelm [48,50] introduces a family of formulas in…
Constructing Quantified Invariants via Predicate Abstraction
Abstract elided by the publisher.
Automatic Inference of Class Invariants
Abstract elided by the publisher.
Model Checking for Object Specifications in Hidden Algebra
Abstract elided by the publisher.
Model Checking Polygonal Differential Inclusions Using Invariance Kernels
Abstract elided by the publisher.
A Complete Method for the Synthesis of Linear Ranking Functions
Abstract elided by the publisher.
Symbolic Implementation of the Best Transformer
Abstract elided by the publisher.
On the Expressive Power of Canonical Abstraction
Abstract elided by the publisher.
Construction of a Semantic Model for a Typed Assembly Language
Abstract elided by the publisher.
History-Dependent Scheduling for Cryptographic Processes
Abstract elided by the publisher.
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone
Abstract elided by the publisher.
Certifying Temporal Properties for Compiled C Programs
Abstract elided by the publisher.
Checking Interval Based Properties for Reactive Systems
Abstract elided by the publisher.
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
Abstract elided by the publisher.
Complexity of Nesting Analysis in Mobile Ambients
Abstract elided by the publisher.
CHASE: A Static Checker for JML's Assignable Clause
Abstract elided by the publisher.
Automatic Verification by Abstract Interpretation
Abstract elided by the publisher.
Shape Analysis through Predicate Abstraction and Model Checking
Abstract elided by the publisher.