Domain Compression for Complete Abstractions
Abstract elided by the publisher.
642 papers · page 31 of 33
On the Expressiveness of 3-Valued Models
Abstract elided by the publisher.
Properties of a Type Abstract Interpreter
Abstract elided by the publisher.
Efficient Computation of Recurrence Diameters
Abstract elided by the publisher.
Types for Evolving Communication in Safe Ambients
Abstract elided by the publisher.
Action Refinement from a Logical Point of View
Abstract elided by the publisher.
Property Checking Driven Abstract Interpretation-Based Static Analysis
Abstract elided by the publisher.
Reasoning about Layered Message Passing Systems
Abstract elided by the publisher.
Abstraction of Expectation Functions Using Gaussian Distributions
Abstract elided by the publisher.
Lifting Temporal Proofs through Abstractions
Abstract elided by the publisher.
Formal Verification of the Horn-Preneel Micropayment Protocol
Abstract elided by the publisher.
Model-Checking and Abstraction to the Aid of Parameterized Systems
Abstract elided by the publisher.
Software Model Checking with Abstraction Refinement
Abstract elided by the publisher.
Abstract Interpretation-Based Certification of Assembly Code
Abstract elided by the publisher.
Symmetry Reductions in Model-Checking
Abstract elided by the publisher.
Behavior-Based Model Construction
Abstract elided by the publisher.
Optimized Live Heap Bound Analysis
Abstract elided by the publisher.
Efficient Verification of Timed Automata with BDD-Like Data-Structures
Abstract elided by the publisher.
Using Simulated Execution in Verifying Distributed Algorithms
Abstract elided by the publisher.
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
Abstract elided by the publisher.