Institutional Login
Welcome!
To use the personalized features of this site, please
log in
or
register
.
If you have forgotten your username or password, we can
help
.
My Menu
Marked Items
Alerts
Order History
Saved Items
All
Favorites
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Book
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers
Book Series
Lecture Notes in Computer Science
Publisher
Springer Berlin / Heidelberg
ISSN
0302-9743 (Print) 1611-3349 (Online)
Volume
Volume 2294/2002
DOI
10.1007/3-540-47813-2
Copyright
2002
ISBN
978-3-540-43631-7
Subject Collection
Computer Science
SpringerLink Date
Thursday, July 31, 2003
Add to marked items
Add to saved items
Recommend this book
About This Volume
Editorial View
Condensed List View
Expanded List View
22 Chapters
First
|
1-10
|
11-20
|
21-22
|
Next
Front Matter
PDF (77.2 KB)
Chapter
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode
Cinzia Bernardeschi
and
Nicoletta De Francesco
DOI: 10.1007/3-540-47813-2_1
PDF (220.4 KB)
233-236
Chapter
Proofs Methods for Bisimulation Based Information Flow Security
Riccardo Focardi
,
Carla Piazza
and
Sabina Rossi
DOI: 10.1007/3-540-47813-2_2
PDF (271.1 KB)
321-324
Chapter
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
Gilles Barthe
,
Guillaume Dufay
,
Line Jakubiec
and
Simão Melo de Sousa
DOI: 10.1007/3-540-47813-2_3
PDF (188.8 KB)
325-328
Chapter
Analyzing Cryptographic Protocols in a Reactive Framework
R. K. Shyamasundar
DOI: 10.1007/3-540-47813-2_4
PDF (236.0 KB)
333-336
Chapter
An Abstract Schema for Equivalence-Checking Games
Li Tan
DOI: 10.1007/3-540-47813-2_5
PDF (225.5 KB)
257-260
Chapter
Synchronous Closing of Timed SDL Systems for Model Checking
Natalia Sidorova
and
Martin Steffen
DOI: 10.1007/3-540-47813-2_6
PDF (243.6 KB)
229-232
Chapter
Automata-Theoretic Decision of Timed Games
Marco Faella
,
Salvatore La Torre
and
Aniello Murano
DOI: 10.1007/3-540-47813-2_7
PDF (226.9 KB)
94-108
Chapter
Compositional Termination Analysis of Symbolic Forward Analysis
Witold Charatonik
,
Supratik Mukhopadhyay
and
Andreas Podelski
DOI: 10.1007/3-540-47813-2_8
PDF (251.0 KB)
251-255
Chapter
Combining Norms to Prove Termination
Samir Genaim
,
Michael Codish
,
John Gallagher
and
Vitaly Lagoon
DOI: 10.1007/3-540-47813-2_9
PDF (198.0 KB)
329-332
Chapter
Static Monotonicity Analysis for λ-definable Functions over Lattices
Andrzej S. Murawski
and
Kwangkeun Yi
DOI: 10.1007/3-540-47813-2_10
PDF (190.6 KB)
261-264
Back Matter
PDF (25.0 KB)
22 Chapters
First
|
1-10
|
11-20
|
21-22
|
Next
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this book series
Within this book
Starts With
22 Results
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
more
Author
Salvatore La Torre
Aniello Murano
Frequently asked questions
|
General information on journals and books
|
Send us your feedback
|
Impressum
|
Contact
© Springer.
Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
MetaPress Privacy Policy
Remote Address: 38.107.191.109 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)