search for books and compare prices
Tables of Contents for Verification, Model Checking, and Abstract Interpretation
Chapter/Section Title
Page #
Page Count
Security and Protocols
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode
1
15
Proofs Methods for Bisimulation Based Information Flow Security
16
16
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
32
14
Analyzing Cryptographic Protocols in a Reactive Framework
46
19
Timed Systems and Games
An Abstract Schema for Equivalence-Checking Games
65
14
Synchronous Closing of Timed SDL Systems for Model Checking
79
15
Automata-Theoretic Decision of Timed Games
94
15
Static Analysis
Compositional Termination Analysis of Symbolic Forward Analysis
109
17
Combining Norms to Prove Termination
126
13
Static Monotonicity Analysis for λ-definable Functions over Lattices
139
15
A Refinement of the Escape Property
154
13
Optimizations
Storage Size Reduction by In-place Mapping of Arrays
167
15
Verifying BDD Algorithms through Monadic Interpretation
182
14
Improving the Encoding of LTL Model Checking into SAT
196
12
Types and Verification
Automatic Verification of Probabilistic Free Choice
208
17
An Experiment in Type Inference and Verification by Abstract Interpretation
225
15
Weak Muller Acceptance Conditions for Tree Automata
240
15
A Fully Abstract Model for Higher-Order Mobile Ambients
255
17
Temporal Logics and Systems
A Simulation Preorder for Abstraction of Reactive Systems
272
17
Approximating ATL* in ATL
289
13
Model Checking Modal Transition Systems Using Kripke Structures
302
15
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness
317
14
Author Index
331