Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
Abstract elided by the publisher.
642 papers · page 29 of 33
An Overview of Semantics for the Validation of Numerical Programs
Abstract elided by the publisher.
Checking Herbrand Equalities and Beyond
Abstract elided by the publisher.
Abstraction for Liveness
Abstract elided by the publisher.
Purity and Side Effect Analysis for Java Programs
Abstract elided by the publisher.
Scalable Analysis of Linear Systems Using Mathematical Programming
Abstract elided by the publisher.
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample minimization algorithm. This algorithm is the most effective one among all existing approaches, but time overhead…
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives
Abstract elided by the publisher.
Model Checking of Systems Employing Commutative Functions
Abstract elided by the publisher.
Type Inference for Parameterized Race-Free Java
Abstract elided by the publisher.
Applying Jlint to Space Exploration Software
Abstract elided by the publisher.
Widening Operators for Powerset Domains
Abstract elided by the publisher.
Rule-Based Runtime Verification
Abstract elided by the publisher.
Security Types Preserving Compilation: (Extended Abstract)
Abstract elided by the publisher.
Completeness and Complexity of Bounded Model Checking
Abstract elided by the publisher.
Static Analysis versus Software Model Checking for Bug Finding
Abstract elided by the publisher.
Analysis of Recursive Game Graphs Using Data Flow Equations
Abstract elided by the publisher.
Liveness with Invisible Ranking
Abstract elided by the publisher.
Security, Protocols, and Trust
Abstract elided by the publisher.
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Abstract elided by the publisher.