A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
Abstract elided by the publisher.
642 papers · page 32 of 33
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness
Abstract elided by the publisher.
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode
Abstract elided by the publisher.
Compositional Termination Analysis of Symbolic Forward Analysis
Abstract elided by the publisher.
Improving the Encoding of LTL Model Checking into SAT
Abstract elided by the publisher.
A Fully Abstract Model for Higher-Order Mobile Ambients
Abstract elided by the publisher.
Automata-Theoretic Decision of Timed Games
Abstract elided by the publisher.
Proofs Methods for Bisimulation Based Information Flow Security
Abstract elided by the publisher.
Combining Norms to Prove Termination
Abstract elided by the publisher.
An Experiment in Type Inference and Verification by Abstract Interpretation
Abstract elided by the publisher.
Approximating ATL* in ATL
Abstract elided by the publisher.
A Refinement of the Escape Property
Abstract elided by the publisher.
Model Checking Modal Transition Systems Using Kripke Structures
Abstract elided by the publisher.
Verifying BDD Algorithms through Monadic Interpretation
Abstract elided by the publisher.
Static Monotonicity Analysis for lambda-definable Functions over Lattices
Abstract elided by the publisher.
Analyzing Cryptographic Protocols in a Reactive Framework
Abstract elided by the publisher.
Synchronous Closing of Timed SDL Systems for Model Checking
Abstract elided by the publisher.
An Abstract Schema for Equivalence-Checking Games
Abstract elided by the publisher.
A Simulation Preorder for Abstraction of Reactive Systems
Abstract elided by the publisher.
Weak Muller Acceptance Conditions for Tree Automata
Abstract elided by the publisher.